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

static void Cont_27_0(char *t0){    char t5[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t6;    char *t7;    char *t8;    char *t9;    char *t10;LAB0:    t1 = (t0 + 2528U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(27, ng0);    t2 = (t0 + 1048U);    t3 = *((char **)t2);    t2 = (t0 + 1208U);    t4 = *((char **)t2);    memset(t5, 0, 8);    xsi_vlog_signed_add(t5, 32, t3, 32, t4, 32);    t2 = (t0 + 2928);    t6 = (t2 + 56U);    t7 = *((char **)t6);    t8 = (t7 + 56U);    t9 = *((char **)t8);    memcpy(t9, t5, 8);    xsi_driver_vfirst_trans(t2, 0, 31);    t10 = (t0 + 2848);    *((int *)t10) = 1;LAB1:    return;}

static void Always_9_0(char *t0){    char t7[8];    char *t1;    char *t2;    char *t3;    char *t4;    char *t5;    char *t6;LAB0:    t1 = (t0 + 2664U);    t2 = *((char **)t1);    if (t2 == 0)        goto LAB2;LAB3:    goto *t2;LAB2:    xsi_set_current_line(9, ng0);    t2 = (t0 + 2984);    *((int *)t2) = 1;    t3 = (t0 + 2696);    *((char **)t3) = t2;    *((char **)t1) = &&LAB4;LAB1:    return;LAB4:    xsi_set_current_line(10, ng0);    t4 = (t0 + 1184U);    t5 = *((char **)t4);    t4 = (t0 + 1344U);    t6 = *((char **)t4);    memset(t7, 0, 8);    xsi_vlog_signed_add(t7, 32, t5, 32, t6, 32);    t4 = (t0 + 1744);    xsi_vlogvar_wait_assign_value(t4, t7, 0, 0, 32, 0LL);    goto LAB2;}

//.........这里部分代码省略.........        goto LAB10;LAB11:    xsi_set_current_line(50, ng0);LAB14:    xsi_set_current_line(51, ng0);    t2 = (t0 + 760U);    t3 = *((char **)t2);    t2 = (t0 + 736U);    t4 = (t2 + 44U);    t5 = *((char **)t4);    t6 = ((char*)((ng4)));    xsi_vlog_generic_get_index_select_value(t8, 32, t3, t5, 2, t6, 32, 1);    t7 = ((char*)((ng5)));    memset(t28, 0, 8);    t26 = (t8 + 4);    t27 = (t7 + 4);    t9 = *((unsigned int *)t8);    t10 = *((unsigned int *)t7);    t11 = (t9 ^ t10);    t12 = *((unsigned int *)t26);    t13 = *((unsigned int *)t27);    t14 = (t12 ^ t13);    t15 = (t11 | t14);    t16 = *((unsigned int *)t26);    t17 = *((unsigned int *)t27);    t18 = (t16 | t17);    t19 = (~(t18));    t20 = (t15 & t19);    if (t20 != 0)        goto LAB18;LAB15:    if (t18 != 0)        goto LAB17;LAB16:    *((unsigned int *)t28) = 1;LAB18:    t30 = (t28 + 4);    t21 = *((unsigned int *)t30);    t22 = (~(t21));    t23 = *((unsigned int *)t28);    t24 = (t23 & t22);    t25 = (t24 != 0);    if (t25 > 0)        goto LAB19;LAB20:    xsi_set_current_line(54, ng0);LAB23:    xsi_set_current_line(55, ng0);    t2 = (t0 + 760U);    t3 = *((char **)t2);    t2 = (t0 + 1448);    xsi_vlogvar_assign_value(t2, t3, 0, 0, 16);LAB21:LAB12:    goto LAB2;LAB8:    t6 = (t8 + 4);    *((unsigned int *)t8) = 1;    *((unsigned int *)t6) = 1;    goto LAB9;LAB10:    xsi_set_current_line(47, ng0);LAB13:    xsi_set_current_line(48, ng0);    t26 = ((char*)((ng3)));    t27 = (t0 + 1448);    xsi_vlogvar_assign_value(t27, t26, 0, 0, 16);    goto LAB12;LAB17:    t29 = (t28 + 4);    *((unsigned int *)t28) = 1;    *((unsigned int *)t29) = 1;    goto LAB18;LAB19:    xsi_set_current_line(51, ng0);LAB22:    xsi_set_current_line(52, ng0);    t32 = (t0 + 760U);    t33 = *((char **)t32);    memset(t31, 0, 8);    t32 = (t31 + 4);    t34 = (t33 + 4);    memcpy(t31, t33, 8);    t35 = *((unsigned int *)t31);    t36 = (~(t35));    t37 = *((unsigned int *)t32);    t38 = (t36 | t37);    *((unsigned int *)t31) = t38;    t39 = *((unsigned int *)t31);    *((unsigned int *)t31) = (t39 & 4294967295U);    t40 = *((unsigned int *)t32);    *((unsigned int *)t32) = (t40 & 4294967295U);    t41 = ((char*)((ng5)));    memset(t42, 0, 8);    xsi_vlog_signed_add(t42, 32, t31, 32, t41, 32);    t43 = (t0 + 1448);    xsi_vlogvar_assign_value(t43, t42, 0, 0, 16);    goto LAB21;}

static void Initial_22_0(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(22, ng0);LAB2:    xsi_set_current_line(23, ng0);    xsi_set_current_line(23, ng0);    t1 = ((char*)((ng1)));    t2 = (t0 + 3000);    xsi_vlogvar_assign_value(t2, t1, 0, 0, 32);LAB3:    t1 = (t0 + 3000);    t2 = (t1 + 56U);    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:LAB1:    return;LAB4:    xsi_set_current_line(23, ng0);LAB6:    xsi_set_current_line(24, ng0);    t12 = ((char*)((ng3)));    t13 = (t0 + 2840);    t16 = (t0 + 2840);    t17 = (t16 + 72U);    t18 = *((char **)t17);    t19 = (t0 + 2840);    t20 = (t19 + 64U);    t21 = *((char **)t20);    t22 = (t0 + 3000);    t23 = (t22 + 56U);    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(23, ng0);    t1 = (t0 + 3000);    t2 = (t1 + 56U);    t3 = *((char **)t2);    t4 = ((char*)((ng4)));    memset(t5, 0, 8);    xsi_vlog_signed_add(t5, 32, t3, 32, t4, 32);    t6 = (t0 + 3000);    xsi_vlogvar_assign_value(t6, t5, 0, 0, 32);    goto LAB3;LAB7:    t32 = *((unsigned int *)t14);//.........这里部分代码省略.........

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 + 24840);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 25000);    t7 = (t6 + 56U);    t8 = *((char **)t7);    memset(t9, 0, 8);    xsi_vlog_signed_divide(t9, 32, t5, 32, t8, 32);    t10 = (t1 + 25320);    xsi_vlogvar_assign_value(t10, t9, 0, 0, 32);    t3 = (t1 + 24840);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 25000);    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 + 25320);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 25160);    xsi_vlogvar_assign_value(t6, t5, 0, 0, 32);    t0 = 0;LAB1:    return t0;LAB3:LAB6:    t18 = (t1 + 25320);    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 + 25320);    xsi_vlogvar_assign_value(t23, t22, 0, 0, 32);    goto LAB5;}

//.........这里部分代码省略.........    t16 = (~(t13));    t19 = *((unsigned int *)t3);    t20 = (t19 & t16);    t23 = (t20 != 0);    if (t23 > 0)        goto LAB18;LAB19:LAB1:    return;LAB3:    t19 = *((unsigned int *)t3);    t20 = *((unsigned int *)t4);    t21 = (t19 - t20);    t22 = (t21 + 1);    xsi_vlogvar_assign_value(t2, t1, 0, *((unsigned int *)t4), t22);    goto LAB4;LAB5:    t19 = *((unsigned int *)t3);    t20 = *((unsigned int *)t4);    t21 = (t19 - t20);    t22 = (t21 + 1);    xsi_vlogvar_assign_value(t2, t1, 0, *((unsigned int *)t4), t22);    goto LAB6;LAB7:    t19 = *((unsigned int *)t3);    t20 = *((unsigned int *)t4);    t21 = (t19 - t20);    t22 = (t21 + 1);    xsi_vlogvar_assign_value(t2, t1, 0, *((unsigned int *)t4), t22);    goto LAB8;LAB9:    t19 = *((unsigned int *)t3);    t20 = *((unsigned int *)t4);    t21 = (t19 - t20);    t22 = (t21 + 1);    xsi_vlogvar_assign_value(t2, t1, 0, *((unsigned int *)t4), t22);    goto LAB10;LAB11:    t19 = *((unsigned int *)t3);    t20 = *((unsigned int *)t4);    t21 = (t19 - t20);    t22 = (t21 + 1);    xsi_vlogvar_assign_value(t2, t1, 0, *((unsigned int *)t4), t22);    goto LAB12;LAB13:    t19 = *((unsigned int *)t3);    t20 = *((unsigned int *)t4);    t21 = (t19 - t20);    t22 = (t21 + 1);    xsi_vlogvar_assign_value(t2, t1, 0, *((unsigned int *)t4), t22);    goto LAB14;LAB15:    t19 = *((unsigned int *)t3);    t20 = *((unsigned int *)t4);    t21 = (t19 - t20);    t22 = (t21 + 1);    xsi_vlogvar_assign_value(t2, t1, 0, *((unsigned int *)t4), t22);    goto LAB16;LAB18:    xsi_set_current_line(50, ng0);    t8 = ((char*)((ng17)));    t9 = (t0 + 1928);    t10 = (t0 + 1928);    t11 = (t10 + 72U);    t12 = *((char **)t11);    t15 = (t0 + 1928);    t25 = (t15 + 64U);    t26 = *((char **)t25);    t27 = (t0 + 2088);    t28 = (t27 + 56U);    t29 = *((char **)t28);    xsi_vlog_generic_convert_array_indices(t4, t24, t12, t26, 2, 1, t29, 32, 1);    t30 = (t4 + 4);    t31 = *((unsigned int *)t30);    t14 = (!(t31));    t32 = (t24 + 4);    t33 = *((unsigned int *)t32);    t17 = (!(t33));    t18 = (t14 && t17);    if (t18 == 1)        goto LAB20;LAB21:    xsi_set_current_line(49, ng0);    t1 = (t0 + 2088);    t2 = (t1 + 56U);    t5 = *((char **)t2);    t6 = ((char*)((ng4)));    memset(t3, 0, 8);    xsi_vlog_signed_add(t3, 32, t5, 32, t6, 32);    t7 = (t0 + 2088);    xsi_vlogvar_assign_value(t7, t3, 0, 0, 32);    goto LAB17;LAB20:    t34 = *((unsigned int *)t4);    t35 = *((unsigned int *)t24);    t21 = (t34 - t35);    t22 = (t21 + 1);    xsi_vlogvar_assign_value(t9, t8, 0, *((unsigned int *)t24), t22);    goto LAB21;}

//.........这里部分代码省略.........    t190 = (t1 + 5368);    t191 = (t190 + 56U);    t192 = *((char **)t191);    t193 = (t1 + 1472);    t194 = *((char **)t193);    memset(t195, 0, 8);    xsi_vlog_signed_multiply(t195, 32, t192, 32, t194, 32);    t193 = ((char*)((ng1)));    xsi_vlog_convert_indexed_partindices(t184, t185, t186, ((int*)(t189)), 2, t195, 32, 1, t193, 32, 1, 1);    t196 = (t184 + 4);    t197 = *((unsigned int *)t196);    t111 = (!(t197));    t198 = (t185 + 4);    t199 = *((unsigned int *)t198);    t114 = (!(t199));    t115 = (t111 && t114);    t200 = (t186 + 4);    t201 = *((unsigned int *)t200);    t117 = (!(t201));    t120 = (t115 && t117);    if (t120 == 1)        goto LAB65;LAB66:    t4 = (t1 + 576);    xsi_vlog_namedbase_popprocess(t4);LAB34:    xsi_vlog_dispose_subprogram_invocation(t2);    xsi_set_current_line(111, ng0);    t4 = (t1 + 5368);    t8 = (t4 + 56U);    t9 = *((char **)t8);    t10 = ((char*)((ng6)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t9, 32, t10, 32);    t11 = (t1 + 5368);    xsi_vlogvar_assign_value(t11, t6, 0, 0, 32);    goto LAB30;LAB38:    t100 = (t99 + 4);    *((unsigned int *)t99) = 1;    *((unsigned int *)t100) = 1;    goto LAB39;LAB40:    *((unsigned int *)t98) = 1;    goto LAB43;LAB42:    t102 = (t98 + 4);    *((unsigned int *)t98) = 1;    *((unsigned int *)t102) = 1;    goto LAB43;LAB44:    t104 = ((char*)((ng3)));    goto LAB45;LAB46:    t105 = ((char*)((ng4)));    goto LAB47;LAB48:    xsi_vlog_unsigned_bit_combine(t97, 1, t104, 1, t105, 1);    goto LAB52;LAB50:    memcpy(t97, t104, 8);    goto LAB52;LAB53:    t80 = (t58 * 8);    t81 = *((unsigned int *)t135);    t82 = *((unsigned int *)t138);

static int sp_f_ceil_log2(char *t1, char *t2){    char t7[8];    char t11[8];    char t22[8];    int t0;    char *t3;    char *t4;    char *t5;    char *t6;    char *t8;    char *t9;    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;    xsi_set_current_line(1144, ng0);LAB2:    xsi_set_current_line(1145, ng0);    t3 = ((char*)((ng1)));    t4 = (t1 + 11136);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);    xsi_set_current_line(1146, ng0);LAB3:    t3 = ((char*)((ng2)));    t4 = (t1 + 11136);    t5 = (t4 + 36U);    t6 = *((char **)t5);    memset(t7, 0, 8);    xsi_vlog_signed_power(t7, 32, t3, 32, t6, 32, 1);    t8 = (t1 + 10952);    t9 = (t8 + 36U);    t10 = *((char **)t9);    memset(t11, 0, 8);    xsi_vlog_signed_less(t11, 32, t7, 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 LAB4;LAB5:    xsi_set_current_line(1148, ng0);    t3 = (t1 + 11136);    t4 = (t3 + 36U);    t5 = *((char **)t4);    t6 = (t1 + 11044);    xsi_vlogvar_assign_value(t6, t5, 0, 0, 32);    t0 = 0;LAB1:    return t0;LAB4:    xsi_set_current_line(1147, ng0);    t18 = (t1 + 11136);    t19 = (t18 + 36U);    t20 = *((char **)t19);    t21 = ((char*)((ng3)));    memset(t22, 0, 8);    xsi_vlog_signed_add(t22, 32, t20, 32, t21, 32);    t23 = (t1 + 11136);    xsi_vlogvar_assign_value(t23, t22, 0, 0, 32);    goto LAB3;}

//.........这里部分代码省略.........LAB15:    xsi_set_current_line(45, ng0);    t2 = (t0 + 1528U);    t3 = *((char **)t2);    t2 = (t0 + 2888);    t4 = (t0 + 2888);    t5 = (t4 + 72U);    t11 = *((char **)t5);    t12 = (t0 + 2888);    t14 = (t12 + 64U);    t17 = *((char **)t14);    t18 = (t0 + 1048U);    t19 = *((char **)t18);    xsi_vlog_generic_convert_array_indices(t13, t15, t11, t17, 2, 1, t19, 5, 2);    t18 = (t13 + 4);    t6 = *((unsigned int *)t18);    t28 = (!(t6));    t20 = (t15 + 4);    t7 = *((unsigned int *)t20);    t31 = (!(t7));    t32 = (t28 && t31);    if (t32 == 1)        goto LAB16;LAB17:LAB8:    goto LAB2;LAB6:    xsi_set_current_line(39, ng0);    xsi_set_current_line(39, ng0);    t11 = ((char*)((ng1)));    t12 = (t0 + 2728);    xsi_vlogvar_assign_value(t12, t11, 0, 0, 32);LAB9:    t2 = (t0 + 2728);    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 LAB10;LAB11:    goto LAB8;LAB10:    xsi_set_current_line(40, ng0);LAB12:    xsi_set_current_line(41, ng0);    t12 = ((char*)((ng3)));    t14 = (t0 + 2888);    t17 = (t0 + 2888);    t18 = (t17 + 72U);    t19 = *((char **)t18);    t20 = (t0 + 2888);    t21 = (t20 + 64U);    t22 = *((char **)t21);    t23 = (t0 + 2728);    t24 = (t23 + 56U);    t25 = *((char **)t24);    xsi_vlog_generic_convert_array_indices(t15, t16, t19, t22, 2, 1, t25, 32, 1);    t26 = (t15 + 4);    t27 = *((unsigned int *)t26);    t28 = (!(t27));    t29 = (t16 + 4);    t30 = *((unsigned int *)t29);    t31 = (!(t30));    t32 = (t28 && t31);    if (t32 == 1)        goto LAB13;LAB14:    xsi_set_current_line(39, ng0);    t2 = (t0 + 2728);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng4)));    memset(t13, 0, 8);    xsi_vlog_signed_add(t13, 32, t4, 32, t5, 32);    t11 = (t0 + 2728);    xsi_vlogvar_assign_value(t11, t13, 0, 0, 32);    goto LAB9;LAB13:    t33 = *((unsigned int *)t15);    t34 = *((unsigned int *)t16);    t35 = (t33 - t34);    t36 = (t35 + 1);    xsi_vlogvar_assign_value(t14, t12, 0, *((unsigned int *)t16), t36);    goto LAB14;LAB16:    t8 = *((unsigned int *)t13);    t9 = *((unsigned int *)t15);    t35 = (t8 - t9);    t36 = (t35 + 1);    xsi_vlogvar_assign_value(t2, t3, 0, *((unsigned int *)t15), t36);    goto LAB17;}

//.........这里部分代码省略.........    xsi_set_current_line(156, ng0);    t11 = ((char*)((ng1)));    t12 = (t0 + 1656);    xsi_vlogvar_assign_value(t12, t11, 0, 0, 32);LAB10:    t2 = (t0 + 1656);    t3 = (t2 + 36U);    t4 = *((char **)t3);    t5 = ((char*)((ng2)));    memset(t13, 0, 8);    xsi_vlog_signed_leq(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:    goto LAB8;LAB11:    xsi_set_current_line(157, ng0);LAB13:    xsi_set_current_line(158, ng0);    t12 = ((char*)((ng3)));    t14 = (t0 + 1564);    t17 = (t0 + 1564);    t18 = (t17 + 44U);    t19 = *((char **)t18);    t20 = (t0 + 1564);    t21 = (t20 + 40U);    t22 = *((char **)t21);    t23 = (t0 + 1656);    t24 = (t23 + 36U);    t25 = *((char **)t24);    xsi_vlog_generic_convert_array_indices(t15, t16, t19, t22, 2, 1, t25, 32, 1);    t26 = (t15 + 4);    t27 = *((unsigned int *)t26);    t28 = (!(t27));    t29 = (t16 + 4);    t30 = *((unsigned int *)t29);    t31 = (!(t30));    t32 = (t28 && t31);    if (t32 == 1)        goto LAB14;LAB15:    xsi_set_current_line(156, ng0);    t2 = (t0 + 1656);    t3 = (t2 + 36U);    t4 = *((char **)t3);    t5 = ((char*)((ng4)));    memset(t13, 0, 8);    xsi_vlog_signed_add(t13, 32, t4, 32, t5, 32);    t11 = (t0 + 1656);    xsi_vlogvar_assign_value(t11, t13, 0, 0, 32);    goto LAB10;LAB14:    t33 = *((unsigned int *)t15);    t34 = *((unsigned int *)t16);    t35 = (t33 - t34);    t36 = (t35 + 1);    xsi_vlogvar_wait_assign_value(t14, t12, 0, *((unsigned int *)t16), t36, 0LL);    goto LAB15;LAB17:    xsi_set_current_line(164, ng0);LAB20:    xsi_set_current_line(165, ng0);    t4 = (t0 + 1152U);    t5 = *((char **)t4);    t4 = (t0 + 1564);    t11 = (t0 + 1564);    t12 = (t11 + 44U);    t14 = *((char **)t12);    t17 = (t0 + 1564);    t18 = (t17 + 40U);    t19 = *((char **)t18);    t20 = (t0 + 1060U);    t21 = *((char **)t20);    xsi_vlog_generic_convert_array_indices(t13, t15, t14, t19, 2, 1, t21, 5, 2);    t20 = (t13 + 4);    t27 = *((unsigned int *)t20);    t28 = (!(t27));    t22 = (t15 + 4);    t30 = *((unsigned int *)t22);    t31 = (!(t30));    t32 = (t28 && t31);    if (t32 == 1)        goto LAB21;LAB22:    goto LAB19;LAB21:    t33 = *((unsigned int *)t13);    t34 = *((unsigned int *)t15);    t35 = (t33 - t34);    t36 = (t35 + 1);    xsi_vlogvar_wait_assign_value(t4, t5, 0, *((unsigned int *)t15), t36, 0LL);    goto LAB22;}

//.........这里部分代码省略.........LAB21:    xsi_set_current_line(24, ng0);LAB26:    xsi_set_current_line(25, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 2864);    t5 = (t0 + 2864);    t6 = (t5 + 72U);    t12 = *((char **)t6);    t13 = (t0 + 2864);    t14 = (t13 + 64U);    t23 = *((char **)t14);    t29 = (t0 + 3024);    t30 = (t29 + 56U);    t32 = *((char **)t30);    xsi_vlog_generic_convert_array_indices(t4, t31, t12, t23, 2, 1, t32, 32, 1);    t33 = (t4 + 4);    t7 = *((unsigned int *)t33);    t46 = (!(t7));    t36 = (t31 + 4);    t8 = *((unsigned int *)t36);    t48 = (!(t8));    t49 = (t46 && t48);    if (t49 == 1)        goto LAB27;LAB28:LAB22:    xsi_set_current_line(20, ng0);    t2 = (t0 + 3024);    t3 = (t2 + 56U);    t5 = *((char **)t3);    t6 = ((char*)((ng2)));    memset(t4, 0, 8);    xsi_vlog_signed_add(t4, 32, t5, 32, t6, 32);    t12 = (t0 + 3024);    xsi_vlogvar_assign_value(t12, t4, 0, 0, 32);    goto LAB16;LAB20:    xsi_set_current_line(21, ng0);LAB23:    xsi_set_current_line(22, ng0);    t32 = ((char*)((ng5)));    t33 = (t0 + 2864);    t36 = (t0 + 2864);    t37 = (t36 + 72U);    t38 = *((char **)t37);    t39 = (t0 + 2864);    t40 = (t39 + 64U);    t41 = *((char **)t40);    t42 = (t0 + 3024);    t43 = (t42 + 56U);    t44 = *((char **)t43);    xsi_vlog_generic_convert_array_indices(t34, t35, t38, t41, 2, 1, t44, 32, 1);    t45 = (t34 + 4);    t20 = *((unsigned int *)t45);    t46 = (!(t20));    t47 = (t35 + 4);    t21 = *((unsigned int *)t47);    t48 = (!(t21));    t49 = (t46 && t48);    if (t49 == 1)        goto LAB24;LAB25:    goto LAB22;LAB24:    t22 = *((unsigned int *)t34);

//.........这里部分代码省略.........    t36 = (t35 != 0);    if (t36 > 0)        goto LAB58;LAB59:    xsi_set_current_line(177, ng0);LAB62:    xsi_set_current_line(180, ng0);    t2 = ((char*)((ng5)));    t3 = (t0 + 6160);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 3);LAB60:    goto LAB52;LAB54:    *((unsigned int *)t24) = 1;    goto LAB57;LAB58:    xsi_set_current_line(169, ng0);LAB61:    xsi_set_current_line(172, ng0);    t37 = (t0 + 744);    t38 = *((char **)t37);    t37 = ((char*)((ng3)));    memset(t39, 0, 8);    xsi_vlog_signed_divide(t39, 32, t38, 32, t37, 32);    t40 = (t0 + 744);    t41 = *((char **)t40);    t40 = ((char*)((ng8)));    memset(t42, 0, 8);    xsi_vlog_signed_multiply(t42, 32, t41, 32, t40, 32);    t43 = ((char*)((ng9)));    memset(t44, 0, 8);    xsi_vlog_signed_divide(t44, 32, t42, 32, t43, 32);    memset(t45, 0, 8);    xsi_vlog_signed_add(t45, 32, t39, 32, t44, 32);    t46 = (t0 + 5840);    xsi_vlogvar_assign_value(t46, t45, 0, 0, 17);    xsi_set_current_line(173, ng0);    t2 = ((char*)((ng9)));    t3 = (t0 + 6320);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    xsi_set_current_line(174, ng0);    t2 = ((char*)((ng10)));    t3 = (t0 + 6160);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 3);    xsi_set_current_line(175, ng0);    t2 = ((char*)((ng2)));    t3 = (t0 + 5520);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    xsi_set_current_line(176, ng0);    t2 = ((char*)((ng11)));    t3 = (t0 + 5680);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 4);    goto LAB60;LAB64:    *((unsigned int *)t15) = 1;    goto LAB67;LAB68:    xsi_set_current_line(187, ng0);LAB71:    xsi_set_current_line(188, ng0);    t16 = (t0 + 3840U);    t23 = *((char **)t16);    t16 = (t23 + 4);    t26 = *((unsigned int *)t16);    t27 = (~(t26));    t28 = *((unsigned int *)t23);

//.........这里部分代码省略.........    if (t29 > 0)        goto LAB29;LAB30:LAB31:    goto LAB2;LAB8:    t23 = (t10 + 4);    *((unsigned int *)t10) = 1;    *((unsigned int *)t23) = 1;    goto LAB9;LAB10:    xsi_set_current_line(117, ng0);LAB13:    xsi_set_current_line(118, ng0);    t30 = ((char*)((ng2)));    t31 = (t0 + 3656);    xsi_vlogvar_wait_assign_value(t31, t30, 0, 0, 1, 0LL);    xsi_set_current_line(120, ng0);    t2 = (t0 + 6536);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng1)));    memset(t8, 0, 8);    xsi_vlog_unsigned_add(t8, 32, t4, 8, t5, 32);    t6 = (t0 + 6536);    xsi_vlogvar_assign_value(t6, t8, 0, 0, 8);    xsi_set_current_line(122, ng0);    *((int *)t8) = xsi_vlogfile_file_open_of_cname_ctype(ng5, ng6);    t2 = (t8 + 4);    *((int *)t2) = 0;    t3 = (t0 + 5416);    xsi_vlogvar_assign_value(t3, t8, 0, 0, 32);    xsi_set_current_line(125, ng0);    xsi_set_current_line(125, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 5576);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 32);LAB14:    t2 = (t0 + 5576);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng7)));    memset(t8, 0, 8);    xsi_vlog_signed_less(t8, 32, t4, 32, t5, 32);    t6 = (t8 + 4);    t11 = *((unsigned int *)t6);    t12 = (~(t11));    t13 = *((unsigned int *)t8);    t14 = (t13 & t12);    t15 = (t14 != 0);    if (t15 > 0)        goto LAB15;LAB16:    goto LAB12;LAB15:    xsi_set_current_line(126, ng0);LAB17:    xsi_set_current_line(127, ng0);    t7 = (t0 + 5416);    t9 = (t7 + 56U);    t23 = *((char **)t9);    *((int *)t10) = xsi_vlogfile_fgetc(*((unsigned int *)t23));    t24 = (t10 + 4);    *((int *)t24) = 0;    t30 = (t0 + 5736);    xsi_vlogvar_assign_value(t30, t10, 0, 0, 32);    xsi_set_current_line(125, ng0);    t2 = (t0 + 5576);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng1)));    memset(t8, 0, 8);    xsi_vlog_signed_add(t8, 32, t4, 32, t5, 32);    t6 = (t0 + 5576);    xsi_vlogvar_assign_value(t6, t8, 0, 0, 32);    goto LAB14;LAB20:    t24 = (t32 + 4);    *((unsigned int *)t32) = 1;    *((unsigned int *)t24) = 1;    goto LAB21;LAB22:    xsi_set_current_line(131, ng0);    t31 = ((char*)((ng3)));    t33 = (t0 + 3656);    xsi_vlogvar_wait_assign_value(t33, t31, 0, 0, 1, 0LL);    goto LAB24;LAB27:    t30 = (t34 + 4);    *((unsigned int *)t34) = 1;    *((unsigned int *)t30) = 1;    goto LAB28;LAB29:    xsi_set_current_line(132, ng0);    t33 = ((char*)((ng4)));    t35 = (t0 + 4776);    xsi_vlogvar_wait_assign_value(t35, t33, 0, 0, 11, 0LL);    goto LAB31;}

//.........这里部分代码省略.........LAB49:    xsi_set_current_line(122, ng0);    xsi_vlog_finish(1);    goto LAB1;LAB8:    xsi_set_current_line(67, ng0);LAB10:    xsi_set_current_line(68, ng0);    xsi_set_current_line(68, ng0);    t13 = ((char*)((ng6)));    t14 = (t0 + 3368);    xsi_vlogvar_assign_value(t14, t13, 0, 0, 32);LAB11:    t2 = (t0 + 3368);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng10)));    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 LAB12;LAB13:    xsi_set_current_line(67, ng0);    t2 = (t0 + 3208);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng7)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32);    t7 = (t0 + 3208);    xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);    goto LAB7;LAB12:    xsi_set_current_line(68, ng0);LAB14:    xsi_set_current_line(69, ng0);    t13 = (t0 + 3208);    t14 = (t13 + 56U);    t15 = *((char **)t14);    t16 = (t0 + 4008);    xsi_vlogvar_assign_value(t16, t15, 0, 0, 8);    xsi_set_current_line(70, ng0);    t2 = (t0 + 3368);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t0 + 3688);    xsi_vlogvar_assign_value(t5, t4, 0, 0, 8);    xsi_set_current_line(71, ng0);    t2 = ((char*)((ng7)));    t3 = (t0 + 3848);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(72, ng0);    t2 = (t0 + 7368);    *((int *)t2) = 1;    t3 = (t0 + 6936);    *((char **)t3) = t2;    *((char **)t1) = &&LAB15;    goto LAB1;LAB15:    xsi_set_current_line(73, ng0);    t2 = ((char*)((ng7)));

//.........这里部分代码省略.........        goto LAB15;LAB16:    goto LAB8;LAB11:    xsi_set_current_line(41, ng0);    t12 = ((char*)((ng1)));    t14 = (t0 + 2728);    t17 = (t0 + 2728);    t18 = (t17 + 72U);    t19 = *((char **)t18);    t20 = (t0 + 2728);    t21 = (t20 + 64U);    t22 = *((char **)t21);    t23 = (t0 + 2888);    t24 = (t23 + 56U);    t25 = *((char **)t24);    xsi_vlog_generic_convert_array_indices(t15, t16, t19, t22, 2, 1, t25, 32, 1);    t26 = (t15 + 4);    t27 = *((unsigned int *)t26);    t28 = (!(t27));    t29 = (t16 + 4);    t30 = *((unsigned int *)t29);    t31 = (!(t30));    t32 = (t28 && t31);    if (t32 == 1)        goto LAB13;LAB14:    xsi_set_current_line(40, ng0);    t2 = (t0 + 2888);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng3)));    memset(t13, 0, 8);    xsi_vlog_signed_add(t13, 32, t4, 32, t5, 32);    t11 = (t0 + 2888);    xsi_vlogvar_assign_value(t11, t13, 0, 0, 32);    goto LAB10;LAB13:    t33 = *((unsigned int *)t15);    t34 = *((unsigned int *)t16);    t35 = (t33 - t34);    t36 = (t35 + 1);    xsi_vlogvar_wait_assign_value(t14, t12, 0, *((unsigned int *)t16), t36, 0LL);    goto LAB14;LAB15:    t8 = *((unsigned int *)t13);    t9 = *((unsigned int *)t15);    t35 = (t8 - t9);    t36 = (t35 + 1);    xsi_vlogvar_wait_assign_value(t3, t2, 0, *((unsigned int *)t15), t36, 0LL);    goto LAB16;LAB19:    t11 = (t16 + 4);    *((unsigned int *)t16) = 1;    *((unsigned int *)t11) = 1;    goto LAB20;LAB21:    *((unsigned int *)t40) = 1;    goto LAB24;LAB23:    t14 = (t40 + 4);    *((unsigned int *)t40) = 1;    *((unsigned int *)t14) = 1;    goto LAB24;LAB25:    t18 = (t0 + 1848U);

//.........这里部分代码省略.........LAB10:    xsi_set_current_line(94, ng0);LAB13:    xsi_set_current_line(95, ng0);    xsi_set_current_line(95, ng0);    t28 = ((char*)((ng2)));    t29 = (t0 + 1768);    xsi_vlogvar_assign_value(t29, t28, 0, 0, 32);LAB14:    t2 = (t0 + 1768);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng3)));    memset(t6, 0, 8);    xsi_vlog_signed_less(t6, 32, t4, 32, t5, 32);    t7 = (t6 + 4);    t9 = *((unsigned int *)t7);    t10 = (~(t9));    t11 = *((unsigned int *)t6);    t12 = (t11 & t10);    t13 = (t12 != 0);    if (t13 > 0)        goto LAB15;LAB16:    xsi_set_current_line(98, ng0);    t2 = ((char*)((ng5)));    t3 = (t0 + 1608);    t4 = (t0 + 1608);    t5 = (t4 + 72U);    t7 = *((char **)t5);    t8 = ((char*)((ng6)));    t21 = ((char*)((ng2)));    xsi_vlog_convert_partindices(t6, t30, t34, ((int*)(t7)), 2, t8, 32, 1, t21, 32, 1);    t22 = (t6 + 4);    t9 = *((unsigned int *)t22);    t44 = (!(t9));    t28 = (t30 + 4);    t10 = *((unsigned int *)t28);    t45 = (!(t10));    t46 = (t44 && t45);    t29 = (t34 + 4);    t11 = *((unsigned int *)t29);    t47 = (!(t11));    t48 = (t46 && t47);    if (t48 == 1)        goto LAB19;LAB20:    goto LAB12;LAB15:    xsi_set_current_line(96, ng0);    t8 = (t0 + 1048U);    t21 = *((char **)t8);    t8 = (t0 + 1008U);    t22 = (t8 + 72U);    t28 = *((char **)t22);    t29 = (t0 + 1768);    t31 = (t29 + 56U);    t32 = *((char **)t31);    xsi_vlog_generic_get_index_select_value(t30, 1, t21, t28, 2, t32, 32, 1);    t33 = (t0 + 1608);    t35 = (t0 + 1608);    t36 = (t35 + 72U);    t37 = *((char **)t36);    t38 = (t0 + 1768);    t39 = (t38 + 56U);    t40 = *((char **)t39);    t41 = ((char*)((ng4)));    memset(t42, 0, 8);    xsi_vlog_signed_add(t42, 32, t40, 32, t41, 32);    xsi_vlog_generic_convert_bit_index(t34, t37, 2, t42, 32, 1);    t43 = (t34 + 4);    t14 = *((unsigned int *)t43);    t44 = (!(t14));    if (t44 == 1)        goto LAB17;LAB18:    xsi_set_current_line(95, ng0);    t2 = (t0 + 1768);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng1)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32);    t7 = (t0 + 1768);    xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);    goto LAB14;LAB17:    xsi_vlogvar_assign_value(t33, t30, 0, *((unsigned int *)t34), 1);    goto LAB18;LAB19:    t12 = *((unsigned int *)t34);    t49 = (t12 + 0);    t13 = *((unsigned int *)t6);    t14 = *((unsigned int *)t30);    t50 = (t13 - t14);    t51 = (t50 + 1);    xsi_vlogvar_assign_value(t3, t2, t49, *((unsigned int *)t30), t51);    goto LAB20;}

//.........这里部分代码省略.........    t12 = (t6 + 4);    t7 = *((unsigned int *)t12);    t8 = (~(t7));    t9 = *((unsigned int *)t6);    t10 = (t9 & t8);    t11 = (t10 != 0);    if (t11 > 0)        goto LAB24;LAB25:    xsi_set_current_line(51, ng0);    t2 = (t0 + 1768);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng6)));    memset(t6, 0, 8);    xsi_vlog_signed_equal(t6, 32, t4, 32, t5, 32);    t12 = (t6 + 4);    t7 = *((unsigned int *)t12);    t8 = (~(t7));    t9 = *((unsigned int *)t6);    t10 = (t9 & t8);    t11 = (t10 != 0);    if (t11 > 0)        goto LAB28;LAB29:    xsi_set_current_line(55, ng0);LAB32:    xsi_set_current_line(56, ng0);    t2 = (t0 + 1768);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng5)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32);    t12 = (t0 + 1768);    xsi_vlogvar_assign_value(t12, t6, 0, 0, 32);LAB30:LAB26:LAB22:    goto LAB2;LAB6:    *((unsigned int *)t6) = 1;    goto LAB9;LAB8:    t12 = (t6 + 4);    *((unsigned int *)t6) = 1;    *((unsigned int *)t12) = 1;    goto LAB9;LAB10:    t17 = (t0 + 1928);    t18 = (t17 + 56U);    t19 = *((char **)t18);    memset(t20, 0, 8);    t21 = (t19 + 4);    t22 = *((unsigned int *)t21);    t23 = (~(t22));    t24 = *((unsigned int *)t19);    t25 = (t24 & t23);    t26 = (t25 & 1U);    if (t26 != 0)        goto LAB13;LAB14:    if (*((unsigned int *)t21) != 0)        goto LAB15;LAB16:    t29 = *((unsigned int *)t6);

//.........这里部分代码省略.........    t13 = *((unsigned int *)t8);    t14 = (t12 ^ t13);    t15 = (t11 | t14);    t16 = *((unsigned int *)t7);    t17 = *((unsigned int *)t8);    t18 = (t16 | t17);    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(102, ng0);LAB27:    xsi_set_current_line(103, ng0);    t2 = (t0 + 3296);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng1)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32);    t7 = (t0 + 3296);    xsi_vlogvar_wait_assign_value(t7, t6, 0, 0, 32, 0LL);    xsi_set_current_line(104, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 2976);    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 1, 0LL);LAB12:    goto LAB2;LAB8:    t21 = (t6 + 4);    *((unsigned int *)t6) = 1;    *((unsigned int *)t21) = 1;    goto LAB9;LAB10:    xsi_set_current_line(79, ng0);LAB13:    xsi_set_current_line(80, ng0);    t28 = (t0 + 3296);    t29 = (t28 + 56U);    t30 = *((char **)t29);    t31 = ((char*)((ng4)));    memset(t32, 0, 8);    xsi_vlog_signed_not_equal(t32, 32, t30, 32, t31, 32);    t33 = (t32 + 4);    t34 = *((unsigned int *)t33);    t35 = (~(t34));    t36 = *((unsigned int *)t32);    t37 = (t36 & t35);    t38 = (t37 != 0);    if (t38 > 0)        goto LAB14;

static int sp_log2(char *t1, char *t2){    char t7[8];    char t18[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 *t19;LAB0:    t0 = 1;    xsi_set_current_line(9, ng0);LAB2:    xsi_set_current_line(10, ng0);    t3 = (t1 + 6816);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = ((char*)((ng1)));    memset(t7, 0, 8);    xsi_vlog_signed_minus(t7, 32, t5, 32, t6, 32);    t8 = (t1 + 6816);    xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);    xsi_set_current_line(11, ng0);    xsi_set_current_line(11, ng0);    t3 = ((char*)((ng2)));    t4 = (t1 + 6656);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);LAB3:    t3 = (t1 + 6816);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = ((char*)((ng2)));    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 LAB4;LAB5:    t0 = 0;LAB1:    return t0;LAB4:    xsi_set_current_line(12, ng0);    t14 = (t1 + 6816);    t15 = (t14 + 56U);    t16 = *((char **)t15);    t17 = ((char*)((ng1)));    memset(t18, 0, 8);    xsi_vlog_signed_rshift(t18, 32, t16, 32, t17, 32);    t19 = (t1 + 6816);    xsi_vlogvar_assign_value(t19, t18, 0, 0, 32);    xsi_set_current_line(11, ng0);    t3 = (t1 + 6656);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = ((char*)((ng1)));    memset(t7, 0, 8);    xsi_vlog_signed_add(t7, 32, t5, 32, t6, 32);    t8 = (t1 + 6656);    xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);    goto LAB3;}

//.........这里部分代码省略.........LAB16:    goto LAB12;LAB15:    xsi_set_current_line(43, ng0);LAB17:    xsi_set_current_line(44, ng0);    t8 = ((char*)((ng1)));    t21 = (t0 + 2888);    t22 = (t0 + 2888);    t28 = (t22 + 72U);    t29 = *((char **)t28);    t32 = (t0 + 2888);    t33 = (t32 + 64U);    t34 = *((char **)t33);    t35 = (t0 + 2728);    t36 = (t35 + 56U);    t37 = *((char **)t36);    xsi_vlog_generic_convert_array_indices(t30, t31, t29, t34, 2, 1, t37, 32, 1);    t38 = (t30 + 4);    t14 = *((unsigned int *)t38);    t39 = (!(t14));    t40 = (t31 + 4);    t15 = *((unsigned int *)t40);    t41 = (!(t15));    t42 = (t39 && t41);    if (t42 == 1)        goto LAB18;LAB19:    xsi_set_current_line(43, ng0);    t2 = (t0 + 2728);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng3)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32);    t7 = (t0 + 2728);    xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);    goto LAB14;LAB18:    t16 = *((unsigned int *)t30);    t17 = *((unsigned int *)t31);    t43 = (t16 - t17);    t44 = (t43 + 1);    xsi_vlogvar_assign_value(t21, t8, 0, *((unsigned int *)t31), t44);    goto LAB19;LAB22:    *((unsigned int *)t6) = 1;    goto LAB24;LAB23:    t7 = (t6 + 4);    *((unsigned int *)t6) = 1;    *((unsigned int *)t7) = 1;    goto LAB24;LAB25:    *((unsigned int *)t30) = 1;    goto LAB28;LAB27:    t21 = (t30 + 4);    *((unsigned int *)t30) = 1;    *((unsigned int *)t21) = 1;    goto LAB28;LAB29:    t28 = (t0 + 1688U);    t29 = *((char **)t28);    t28 = ((char*)((ng3)));    memset(t31, 0, 8);    t32 = (t29 + 4);

//.........这里部分代码省略.........    t14 = (t13 & 1U);    if (t14 != 0)        goto LAB19;LAB17:    if (*((unsigned int *)t2) == 0)        goto LAB16;LAB18:    t4 = (t12 + 4);    *((unsigned int *)t12) = 1;    *((unsigned int *)t4) = 1;LAB19:    t5 = (t12 + 4);    t16 = *((unsigned int *)t5);    t17 = (~(t16));    t18 = *((unsigned int *)t12);    t19 = (t18 & t17);    t20 = (t19 != 0);    if (t20 > 0)        goto LAB20;LAB21:    xsi_set_current_line(50, ng0);LAB24:    xsi_set_current_line(51, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 2088);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);LAB22:    xsi_set_current_line(44, ng0);    t2 = (t0 + 2408);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng7)));    memset(t12, 0, 8);    xsi_vlog_signed_add(t12, 32, t4, 32, t5, 32);    t10 = (t0 + 2408);    xsi_vlogvar_assign_value(t10, t12, 0, 0, 32);    goto LAB11;LAB16:    *((unsigned int *)t12) = 1;    goto LAB19;LAB20:    xsi_set_current_line(48, ng0);LAB23:    xsi_set_current_line(49, ng0);    t10 = ((char*)((ng2)));    t11 = (t0 + 2088);    xsi_vlogvar_assign_value(t11, t10, 0, 0, 1);    goto LAB22;LAB26:    xsi_set_current_line(54, ng0);LAB28:    xsi_set_current_line(55, ng0);    t11 = (t0 + 4200);    *((int *)t11) = 1;    t15 = (t0 + 3848);    *((char **)t15) = t11;    *((char **)t1) = &&LAB29;    goto LAB1;LAB29:    xsi_set_current_line(56, ng0);    t2 = (t0 + 2408);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = (t0 + 1928);    xsi_vlogvar_assign_value(t5, t4, 0, 0, 8);    xsi_set_current_line(57, ng0);

//.........这里部分代码省略.........    if (t11 > 0)        goto LAB65;LAB66:    xsi_set_current_line(57, ng0);    t2 = (t0 + 15080U);    t4 = *((char **)t2);    t2 = (t0 + 14920U);    t5 = *((char **)t2);    memset(t12, 0, 8);    xsi_vlog_unsigned_rshift(t12, 32, t4, 32, t5, 32);    t2 = (t0 + 15800);    xsi_vlogvar_assign_value(t2, t12, 0, 0, 32);LAB67:    goto LAB27;LAB25:    xsi_set_current_line(59, ng0);LAB68:    xsi_set_current_line(60, ng0);    t2 = (t0 + 15080U);    t5 = *((char **)t2);    t2 = ((char*)((ng2)));    memset(t12, 0, 8);    xsi_vlog_unsigned_multiply(t12, 32, t5, 32, t2, 32);    t13 = (t0 + 15800);    xsi_vlogvar_assign_value(t13, t12, 0, 0, 32);    goto LAB27;LAB29:    xsi_set_current_line(22, ng0);    t13 = (t0 + 14920U);    t14 = *((char **)t13);    t13 = (t0 + 15080U);    t16 = *((char **)t13);    memset(t17, 0, 8);    xsi_vlog_signed_add(t17, 32, t14, 32, t16, 32);    t13 = (t0 + 15800);    xsi_vlogvar_assign_value(t13, t17, 0, 0, 32);    goto LAB31;LAB33:    xsi_set_current_line(28, ng0);    t13 = (t0 + 14920U);    t14 = *((char **)t13);    t13 = (t0 + 15080U);    t16 = *((char **)t13);    memset(t17, 0, 8);    xsi_vlog_signed_minus(t17, 32, t14, 32, t16, 32);    t13 = (t0 + 15800);    xsi_vlogvar_assign_value(t13, t17, 0, 0, 32);    goto LAB35;LAB37:    t21 = *((unsigned int *)t12);    t22 = *((unsigned int *)t16);    *((unsigned int *)t12) = (t21 | t22);    goto LAB39;LAB41:    t21 = *((unsigned int *)t15);    t22 = *((unsigned int *)t16);    *((unsigned int *)t15) = (t21 | t22);    t23 = (t5 + 4);    t24 = (t13 + 4);    t25 = *((unsigned int *)t23);    t26 = (~(t25));    t27 = *((unsigned int *)t5);    t28 = (t27 & t26);    t29 = *((unsigned int *)t24);    t30 = (~(t29));    t31 = *((unsigned int *)t13);

//.........这里部分代码省略.........        goto LAB14;LAB15:    goto LAB11;LAB14:    xsi_set_current_line(44, ng0);    t8 = ((char*)((ng1)));    t21 = (t0 + 2888);    t22 = (t0 + 2888);    t28 = (t22 + 72U);    t29 = *((char **)t28);    t32 = (t0 + 2888);    t33 = (t32 + 64U);    t34 = *((char **)t33);    t35 = (t0 + 2728);    t36 = (t35 + 56U);    t37 = *((char **)t36);    xsi_vlog_generic_convert_array_indices(t30, t31, t29, t34, 2, 1, t37, 32, 1);    t38 = (t30 + 4);    t14 = *((unsigned int *)t38);    t39 = (!(t14));    t40 = (t31 + 4);    t15 = *((unsigned int *)t40);    t41 = (!(t15));    t42 = (t39 && t41);    if (t42 == 1)        goto LAB16;LAB17:    xsi_set_current_line(43, ng0);    t2 = (t0 + 2728);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng2)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32);    t7 = (t0 + 2728);    xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);    goto LAB13;LAB16:    t16 = *((unsigned int *)t30);    t17 = *((unsigned int *)t31);    t43 = (t16 - t17);    t44 = (t43 + 1);    xsi_vlogvar_wait_assign_value(t21, t8, 0, *((unsigned int *)t31), t44, 0LL);    goto LAB17;LAB19:    *((unsigned int *)t6) = 1;    goto LAB21;LAB20:    t7 = (t6 + 4);    *((unsigned int *)t6) = 1;    *((unsigned int *)t7) = 1;    goto LAB21;LAB22:    *((unsigned int *)t30) = 1;    goto LAB25;LAB24:    t21 = (t30 + 4);    *((unsigned int *)t30) = 1;    *((unsigned int *)t21) = 1;    goto LAB25;LAB26:    t28 = (t0 + 1688U);    t29 = *((char **)t28);    memset(t31, 0, 8);    t28 = (t29 + 4);    t48 = *((unsigned int *)t28);

//.........这里部分代码省略.........LAB11:    goto LAB8;LAB10:    xsi_set_current_line(40, ng0);LAB12:    xsi_set_current_line(41, ng0);    t12 = ((char*)((ng3)));    t14 = (t0 + 2888);    t17 = (t0 + 2888);    t18 = (t17 + 72U);    t19 = *((char **)t18);    t20 = (t0 + 2888);    t21 = (t20 + 64U);    t22 = *((char **)t21);    t23 = (t0 + 2728);    t24 = (t23 + 56U);    t25 = *((char **)t24);    xsi_vlog_generic_convert_array_indices(t15, t16, t19, t22, 2, 1, t25, 32, 1);    t26 = (t15 + 4);    t27 = *((unsigned int *)t26);    t28 = (!(t27));    t29 = (t16 + 4);    t30 = *((unsigned int *)t29);    t31 = (!(t30));    t32 = (t28 && t31);    if (t32 == 1)        goto LAB13;LAB14:    xsi_set_current_line(39, ng0);    t2 = (t0 + 2728);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng4)));    memset(t13, 0, 8);    xsi_vlog_signed_add(t13, 32, t4, 32, t5, 32);    t11 = (t0 + 2728);    xsi_vlogvar_assign_value(t11, t13, 0, 0, 32);    goto LAB9;LAB13:    t33 = *((unsigned int *)t15);    t34 = *((unsigned int *)t16);    t35 = (t33 - t34);    t36 = (t35 + 1);    xsi_vlogvar_assign_value(t14, t12, 0, *((unsigned int *)t16), t36);    goto LAB14;LAB15:    xsi_set_current_line(45, ng0);    t4 = (t0 + 1048U);    t5 = *((char **)t4);LAB18:    t4 = ((char*)((ng3)));    t28 = xsi_vlog_unsigned_case_compare(t5, 5, t4, 5);    if (t28 == 1)        goto LAB19;LAB20:    t2 = ((char*)((ng5)));    t28 = xsi_vlog_unsigned_case_compare(t5, 5, t2, 5);    if (t28 == 1)        goto LAB21;LAB22:    t2 = ((char*)((ng6)));    t28 = xsi_vlog_unsigned_case_compare(t5, 5, t2, 5);    if (t28 == 1)        goto LAB23;LAB24:    t2 = ((char*)((ng8)));    t28 = xsi_vlog_unsigned_case_compare(t5, 5, t2, 5);

//.........这里部分代码省略.........    if (t12 > 0)        goto LAB11;LAB12:    xsi_set_current_line(76, ng0);LAB15:    xsi_set_current_line(77, ng0);    t2 = ((char*)((ng1)));    t3 = (t0 + 1288);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(78, ng0);    t2 = (t0 + 1472);    t3 = (t2 + 36U);    t4 = *((char **)t3);    t5 = ((char*)((ng6)));    memset(t6, 0, 8);    xsi_vlog_signed_equal(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 LAB16;LAB17:LAB18:LAB13:    xsi_set_current_line(65, ng0);    t2 = (t0 + 1472);    t3 = (t2 + 36U);    t4 = *((char **)t3);    t5 = ((char*)((ng5)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32);    t7 = (t0 + 1472);    xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);    goto LAB5;LAB11:    xsi_set_current_line(70, ng0);LAB14:    xsi_set_current_line(71, ng0);    t13 = ((char*)((ng5)));    t14 = (t0 + 1288);    xsi_vlogvar_assign_value(t14, t13, 0, 0, 1);    xsi_set_current_line(72, ng0);    t2 = (t0 + 1196);    t3 = (t2 + 36U);    t4 = *((char **)t3);    t5 = (t0 + 1196);    t7 = (t5 + 44U);    t13 = *((char **)t7);    t14 = (t0 + 1564);    t15 = (t14 + 36U);    t16 = *((char **)t15);    xsi_vlog_generic_get_index_select_value(t6, 1, t4, t13, 2, t16, 32, 1);    t17 = (t0 + 1104);    xsi_vlogvar_assign_value(t17, t6, 0, 0, 1);    goto LAB13;LAB16:    xsi_set_current_line(79, ng0);LAB19:    xsi_set_current_line(80, ng0);    t13 = (t0 + 784U);    t14 = *((char **)t13);    t13 = ((char*)((ng7)));    memset(t19, 0, 8);

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 + 24520);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);    t3 = (t1 + 24200);    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 + 24520);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 24360);    xsi_vlogvar_assign_value(t6, t5, 0, 0, 32);    t0 = 0;LAB1:    return t0;LAB3:LAB6:    t14 = ((char*)((ng1)));    t15 = (t1 + 24680);    xsi_vlogvar_assign_value(t15, t14, 0, 0, 32);LAB7:    t3 = (t1 + 24680);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 24200);    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 + 24520);    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 + 24520);    xsi_vlogvar_assign_value(t21, t20, 0, 0, 32);    t3 = (t1 + 24680);    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 + 24680);    xsi_vlogvar_assign_value(t8, t7, 0, 0, 32);    goto LAB7;}

//.........这里部分代码省略.........    char *t42;    char *t43;    char *t44;    unsigned int t45;    int t46;LAB0:    t0 = 1;    xsi_set_current_line(99, ng0);LAB2:    xsi_set_current_line(100, ng0);    xsi_set_current_line(100, ng0);    t3 = ((char*)((ng1)));    t4 = (t1 + 5440);    xsi_vlogvar_assign_value(t4, t3, 0, 0, 32);LAB3:    t3 = (t1 + 5440);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = (t1 + 744);    t7 = *((char **)t6);    memset(t8, 0, 8);    xsi_vlog_signed_less(t8, 32, t5, 32, t7, 32);    t6 = (t8 + 4);    t9 = *((unsigned int *)t6);    t10 = (~(t9));    t11 = *((unsigned int *)t8);    t12 = (t11 & t10);    t13 = (t12 != 0);    if (t13 > 0)        goto LAB4;LAB5:    t0 = 0;LAB1:    return t0;LAB4:    xsi_set_current_line(100, ng0);LAB6:    xsi_set_current_line(101, ng0);    t14 = (t1 + 5120);    t15 = (t14 + 56U);    t16 = *((char **)t15);    t17 = (t1 + 5440);    t18 = (t17 + 56U);    t19 = *((char **)t18);    memset(t20, 0, 8);    t21 = (t16 + 4);    t22 = (t19 + 4);    t23 = *((unsigned int *)t16);    t24 = *((unsigned int *)t19);    t25 = (t23 ^ t24);    t26 = *((unsigned int *)t21);    t27 = *((unsigned int *)t22);    t28 = (t26 ^ t27);    t29 = (t25 | t28);    t30 = *((unsigned int *)t21);    t31 = *((unsigned int *)t22);    t32 = (t30 | t31);    t33 = (~(t32));    t34 = (t29 & t33);    if (t34 != 0)        goto LAB10;LAB7:    if (t32 != 0)        goto LAB9;LAB8:    *((unsigned int *)t20) = 1;LAB10:    t36 = (t1 + 5280);    t38 = (t1 + 5280);    t39 = (t38 + 72U);    t40 = *((char **)t39);    t41 = (t1 + 5440);    t42 = (t41 + 56U);    t43 = *((char **)t42);    xsi_vlog_generic_convert_bit_index(t37, t40, 2, t43, 32, 1);    t44 = (t37 + 4);    t45 = *((unsigned int *)t44);    t46 = (!(t45));    if (t46 == 1)        goto LAB11;LAB12:    xsi_set_current_line(100, ng0);    t3 = (t1 + 5440);    t4 = (t3 + 56U);    t5 = *((char **)t4);    t6 = ((char*)((ng2)));    memset(t8, 0, 8);    xsi_vlog_signed_add(t8, 32, t5, 32, t6, 32);    t7 = (t1 + 5440);    xsi_vlogvar_assign_value(t7, t8, 0, 0, 32);    goto LAB3;LAB9:    t35 = (t20 + 4);    *((unsigned int *)t20) = 1;    *((unsigned int *)t35) = 1;    goto LAB10;LAB11:    xsi_vlogvar_assign_value(t36, t20, 0, *((unsigned int *)t37), 1);    goto LAB12;}

//.........这里部分代码省略.........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;    goto LAB1;LAB10:    xsi_set_current_line(109, ng0);LAB12:    xsi_set_current_line(110, ng0);    t13 = (t0 + 5624);    t14 = (t13 + 56U);    t15 = *((char **)t14);    t17 = (t0 + 5624);    t18 = (t17 + 72U);    t19 = *((char **)t18);    t20 = (t0 + 5144);    t21 = (t20 + 56U);    t22 = *((char **)t21);    xsi_vlog_generic_get_index_select_value(t16, 1, t15, t19, 2, t22, 32, 1);    t23 = (t0 + 4504);    xsi_vlogvar_assign_value(t23, t16, 0, 0, 1);    xsi_set_current_line(112, ng0);    t2 = ((char*)((ng4)));    t3 = (t0 + 4184);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(112, ng0);    t2 = (t0 + 6848);    xsi_process_wait(t2, 6000000LL);    *((char **)t1) = &&LAB13;    goto LAB1;LAB13:    xsi_set_current_line(112, ng0);    t2 = ((char*)((ng3)));    t3 = (t0 + 4184);    xsi_vlogvar_assign_value(t3, t2, 0, 0, 1);    xsi_set_current_line(112, ng0);    t2 = (t0 + 6848);    xsi_process_wait(t2, 6000000LL);    *((char **)t1) = &&LAB14;    goto LAB1;LAB14:    xsi_set_current_line(109, ng0);    t2 = (t0 + 5144);    t3 = (t2 + 56U);    t4 = *((char **)t3);    t5 = ((char*)((ng4)));    memset(t6, 0, 8);    xsi_vlog_signed_add(t6, 32, t4, 32, t5, 32);    t7 = (t0 + 5144);    xsi_vlogvar_assign_value(t7, t6, 0, 0, 32);    goto LAB9;LAB15:    goto LAB6;LAB16:    goto LAB1;}