URL https://opencores.org/ocsvn/vtach/vtach/trunk

Subversion Repositories vtach

[/] [vtach/] [trunk/] [isim/] [vtach_test_isim_beh.exe.sim/] [unisims_ver/] [m_03665957290517102759_3574923728.c] - Blame information for rev 2

Details | Compare with Previous | View Log


/**********************************************************************/
/*   ____  ____                                                       */
/*  /   /\/   /                                                       */
/* /___/  \  /                                                        */
/* \   \   \/                                                       */
/*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
/*  /   /          All Right Reserved.                                 */
/* /---/   /\                                                         */
/* \   \  /  \                                                      */
/*  \___\/\___\                                                    */
/***********************************************************************/
 
/* This file is designed for use with ISim build 0xb4d1ced7 */
 
#define XSI_HIDE_SYMBOL_SPEC true
#include "xsi.h"
#include <memory.h>
#ifdef __GNUC__
#include <stdlib.h>
#else
#include <malloc.h>
#define alloca _alloca
#endif
static unsigned int ng0[] = {0U, 0U};
static int ng1[] = {0, 0};
static int ng2[] = {1, 0};
static int ng3[] = {2, 0};
static unsigned int ng4[] = {1U, 0U};
 
 
 
static void Initial_1351_0(char *t0)
{
    char *t1;
    char *t2;
 
LAB0:
LAB2:    t1 = ((char*)((ng0)));
    t2 = (t0 + 1928);
    xsi_vlogvar_assign_value(t2, t1, 0, 0, 1);
    t1 = ((char*)((ng0)));
    t2 = (t0 + 2088);
    xsi_vlogvar_assign_value(t2, t1, 0, 0, 1);
 
LAB1:    return;
}
 
static void Always_1356_1(char *t0)
{
    char t4[8];
    char *t1;
    char *t2;
    char *t3;
    char *t5;
    char *t6;
    char *t7;
    char *t8;
    unsigned int t9;
    unsigned int t10;
    unsigned int t11;
    unsigned int t12;
    unsigned int t13;
    char *t14;
    char *t15;
    char *t16;
    unsigned int t17;
    unsigned int t18;
    unsigned int t19;
    unsigned int t20;
    unsigned int t21;
    unsigned int t22;
    unsigned int t23;
    unsigned int t24;
    char *t25;
 
LAB0:    t1 = (t0 + 3408U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;
 
LAB3:    goto *t2;
 
LAB2:    t2 = (t0 + 4472);
    *((int *)t2) = 1;
    t3 = (t0 + 3440);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;
 
LAB1:    return;
LAB4:    t5 = (t0 + 2088);
    t6 = (t5 + 56U);
    t7 = *((char **)t6);
    memset(t4, 0, 8);
    t8 = (t7 + 4);
    t9 = *((unsigned int *)t8);
    t10 = (~(t9));
    t11 = *((unsigned int *)t7);
    t12 = (t11 & t10);
    t13 = (t12 & 1U);
    if (t13 != 0)
        goto LAB8;
 
LAB6:    if (*((unsigned int *)t8) == 0)
        goto LAB5;
 
LAB7:    t14 = (t4 + 4);
    *((unsigned int *)t4) = 1;
    *((unsigned int *)t14) = 1;
 
LAB8:    t15 = (t4 + 4);
    t16 = (t7 + 4);
    t17 = *((unsigned int *)t7);
    t18 = (~(t17));
    *((unsigned int *)t4) = t18;
    *((unsigned int *)t15) = 0;
    if (*((unsigned int *)t16) != 0)
        goto LAB10;
 
LAB9:    t23 = *((unsigned int *)t4);
    *((unsigned int *)t4) = (t23 & 1U);
    t24 = *((unsigned int *)t15);
    *((unsigned int *)t15) = (t24 & 1U);
    t25 = (t0 + 2088);
    xsi_vlogvar_wait_assign_value(t25, t4, 0, 0, 1, 0LL);
    goto LAB2;
 
LAB5:    *((unsigned int *)t4) = 1;
    goto LAB8;
 
LAB10:    t19 = *((unsigned int *)t4);
    t20 = *((unsigned int *)t16);
    *((unsigned int *)t4) = (t19 | t20);
    t21 = *((unsigned int *)t15);
    t22 = *((unsigned int *)t16);
    *((unsigned int *)t15) = (t21 | t22);
    goto LAB9;
 
}
 
static void Always_1359_2(char *t0)
{
    char t6[8];
    char t19[8];
    char t48[8];
    char t61[8];
    char t92[8];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t7;
    char *t8;
    char *t9;
    char *t10;
    char *t11;
    unsigned int t12;
    int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;
    unsigned int t18;
    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;
    unsigned int t29;
    char *t30;
    char *t31;
    unsigned int t32;
    unsigned int t33;
    unsigned int t34;
    unsigned int t35;
    unsigned int t36;
    unsigned int t37;
    unsigned int t38;
    unsigned int t39;
    int t40;
    unsigned int t41;
    unsigned int t42;
    unsigned int t43;
    unsigned int t44;
    unsigned int t45;
    unsigned int t46;
    char *t47;
    char *t49;
    char *t50;
    char *t51;
    char *t52;
    char *t53;
    unsigned int t54;
    int t55;
    unsigned int t56;
    unsigned int t57;
    unsigned int t58;
    unsigned int t59;
    unsigned int t60;
    unsigned int t62;
    unsigned int t63;
    unsigned int t64;
    char *t65;
    char *t66;
    unsigned int t67;
    unsigned int t68;
    unsigned int t69;
    unsigned int t70;
    unsigned int t71;
    unsigned int t72;
    unsigned int t73;
    char *t74;
    char *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;
    int t84;
    unsigned int t85;
    unsigned int t86;
    unsigned int t87;
    unsigned int t88;
    unsigned int t89;
    unsigned int t90;
    char *t91;
    char *t93;
    char *t94;
    char *t95;
    char *t96;
    char *t97;
    unsigned int t98;
    int t99;
 
LAB0:    t1 = (t0 + 3656U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;
 
LAB3:    goto *t2;
 
LAB2:    t2 = (t0 + 4488);
    *((int *)t2) = 1;
    t3 = (t0 + 3688);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;
 
LAB1:    return;
LAB4:
LAB5:    t4 = (t0 + 1368U);
    t5 = *((char **)t4);
    t4 = (t0 + 2248);
    t7 = (t0 + 2248);
    t8 = (t7 + 72U);
    t9 = *((char **)t8);
    t10 = ((char*)((ng1)));
    xsi_vlog_generic_convert_bit_index(t6, t9, 2, t10, 32, 1);
    t11 = (t6 + 4);
    t12 = *((unsigned int *)t11);
    t13 = (!(t12));
    if (t13 == 1)
        goto LAB6;
 
LAB7:    t2 = (t0 + 2248);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    memset(t6, 0, 8);
    t5 = (t6 + 4);
    t7 = (t4 + 4);
    t12 = *((unsigned int *)t4);
    t14 = (t12 >> 0);
    t15 = (t14 & 1);
    *((unsigned int *)t6) = t15;
    t16 = *((unsigned int *)t7);
    t17 = (t16 >> 0);
    t18 = (t17 & 1);
    *((unsigned int *)t5) = t18;
    t8 = (t0 + 1368U);
    t9 = *((char **)t8);
    t20 = *((unsigned int *)t6);
    t21 = *((unsigned int *)t9);
    t22 = (t20 & t21);
    *((unsigned int *)t19) = t22;
    t8 = (t6 + 4);
    t10 = (t9 + 4);
    t11 = (t19 + 4);
    t23 = *((unsigned int *)t8);
    t24 = *((unsigned int *)t10);
    t25 = (t23 | t24);
    *((unsigned int *)t11) = t25;
    t26 = *((unsigned int *)t11);
    t27 = (t26 != 0);
    if (t27 == 1)
        goto LAB8;
 
LAB9:
LAB10:    t47 = (t0 + 2248);
    t49 = (t0 + 2248);
    t50 = (t49 + 72U);
    t51 = *((char **)t50);
    t52 = ((char*)((ng2)));
    xsi_vlog_generic_convert_bit_index(t48, t51, 2, t52, 32, 1);
    t53 = (t48 + 4);
    t54 = *((unsigned int *)t53);
    t55 = (!(t54));
    if (t55 == 1)
        goto LAB11;
 
LAB12:    t2 = (t0 + 2248);
    t3 = (t2 + 56U);
    t4 = *((char **)t3);
    memset(t6, 0, 8);
    t5 = (t6 + 4);
    t7 = (t4 + 4);
    t12 = *((unsigned int *)t4);
    t14 = (t12 >> 1);
    t15 = (t14 & 1);
    *((unsigned int *)t6) = t15;
    t16 = *((unsigned int *)t7);
    t17 = (t16 >> 1);
    t18 = (t17 & 1);
    *((unsigned int *)t5) = t18;
    t8 = (t0 + 2248);
    t9 = (t8 + 56U);
    t10 = *((char **)t9);
    memset(t19, 0, 8);
    t11 = (t19 + 4);
    t30 = (t10 + 4);
    t20 = *((unsigned int *)t10);
    t21 = (t20 >> 0);
    t22 = (t21 & 1);
    *((unsigned int *)t19) = t22;
    t23 = *((unsigned int *)t30);
    t24 = (t23 >> 0);
    t25 = (t24 & 1);
    *((unsigned int *)t11) = t25;
    t26 = *((unsigned int *)t6);
    t27 = *((unsigned int *)t19);
    t28 = (t26 & t27);
    *((unsigned int *)t48) = t28;
    t31 = (t6 + 4);
    t47 = (t19 + 4);
    t49 = (t48 + 4);
    t29 = *((unsigned int *)t31);
    t32 = *((unsigned int *)t47);
    t33 = (t29 | t32);
    *((unsigned int *)t49) = t33;
    t34 = *((unsigned int *)t49);
    t35 = (t34 != 0);
    if (t35 == 1)
        goto LAB13;
 
LAB14:
LAB15:    t52 = (t0 + 1368U);
    t53 = *((char **)t52);
    t62 = *((unsigned int *)t48);
    t63 = *((unsigned int *)t53);
    t64 = (t62 & t63);
    *((unsigned int *)t61) = t64;
    t52 = (t48 + 4);
    t65 = (t53 + 4);
    t66 = (t61 + 4);
    t67 = *((unsigned int *)t52);
    t68 = *((unsigned int *)t65);
    t69 = (t67 | t68);
    *((unsigned int *)t66) = t69;
    t70 = *((unsigned int *)t66);
    t71 = (t70 != 0);
    if (t71 == 1)
        goto LAB16;
 
LAB17:
LAB18:    t91 = (t0 + 2248);
    t93 = (t0 + 2248);
    t94 = (t93 + 72U);
    t95 = *((char **)t94);
    t96 = ((char*)((ng3)));
    xsi_vlog_generic_convert_bit_index(t92, t95, 2, t96, 32, 1);
    t97 = (t92 + 4);
    t98 = *((unsigned int *)t97);
    t99 = (!(t98));
    if (t99 == 1)
        goto LAB19;
 
LAB20:    goto LAB2;
 
LAB6:    xsi_vlogvar_wait_assign_value(t4, t5, 0, *((unsigned int *)t6), 1, 0LL);
    goto LAB7;
 
LAB8:    t28 = *((unsigned int *)t19);
    t29 = *((unsigned int *)t11);
    *((unsigned int *)t19) = (t28 | t29);
    t30 = (t6 + 4);
    t31 = (t9 + 4);
    t32 = *((unsigned int *)t6);
    t33 = (~(t32));
    t34 = *((unsigned int *)t30);
    t35 = (~(t34));
    t36 = *((unsigned int *)t9);
    t37 = (~(t36));
    t38 = *((unsigned int *)t31);
    t39 = (~(t38));
    t13 = (t33 & t35);
    t40 = (t37 & t39);
    t41 = (~(t13));
    t42 = (~(t40));
    t43 = *((unsigned int *)t11);
    *((unsigned int *)t11) = (t43 & t41);
    t44 = *((unsigned int *)t11);
    *((unsigned int *)t11) = (t44 & t42);
    t45 = *((unsigned int *)t19);
    *((unsigned int *)t19) = (t45 & t41);
    t46 = *((unsigned int *)t19);
    *((unsigned int *)t19) = (t46 & t42);
    goto LAB10;
 
LAB11:    xsi_vlogvar_wait_assign_value(t47, t19, 0, *((unsigned int *)t48), 1, 0LL);
    goto LAB12;
 
LAB13:    t36 = *((unsigned int *)t48);
    t37 = *((unsigned int *)t49);
    *((unsigned int *)t48) = (t36 | t37);
    t50 = (t6 + 4);
    t51 = (t19 + 4);
    t38 = *((unsigned int *)t6);
    t39 = (~(t38));
    t41 = *((unsigned int *)t50);
    t42 = (~(t41));
    t43 = *((unsigned int *)t19);
    t44 = (~(t43));
    t45 = *((unsigned int *)t51);
    t46 = (~(t45));
    t13 = (t39 & t42);
    t40 = (t44 & t46);
    t54 = (~(t13));
    t56 = (~(t40));
    t57 = *((unsigned int *)t49);
    *((unsigned int *)t49) = (t57 & t54);
    t58 = *((unsigned int *)t49);
    *((unsigned int *)t49) = (t58 & t56);
    t59 = *((unsigned int *)t48);
    *((unsigned int *)t48) = (t59 & t54);
    t60 = *((unsigned int *)t48);
    *((unsigned int *)t48) = (t60 & t56);
    goto LAB15;
 
LAB16:    t72 = *((unsigned int *)t61);
    t73 = *((unsigned int *)t66);
    *((unsigned int *)t61) = (t72 | t73);
    t74 = (t48 + 4);
    t75 = (t53 + 4);
    t76 = *((unsigned int *)t48);
    t77 = (~(t76));
    t78 = *((unsigned int *)t74);
    t79 = (~(t78));
    t80 = *((unsigned int *)t53);
    t81 = (~(t80));
    t82 = *((unsigned int *)t75);
    t83 = (~(t82));
    t55 = (t77 & t79);
    t84 = (t81 & t83);
    t85 = (~(t55));
    t86 = (~(t84));
    t87 = *((unsigned int *)t66);
    *((unsigned int *)t66) = (t87 & t85);
    t88 = *((unsigned int *)t66);
    *((unsigned int *)t66) = (t88 & t86);
    t89 = *((unsigned int *)t61);
    *((unsigned int *)t61) = (t89 & t85);
    t90 = *((unsigned int *)t61);
    *((unsigned int *)t61) = (t90 & t86);
    goto LAB18;
 
LAB19:    xsi_vlogvar_wait_assign_value(t91, t61, 0, *((unsigned int *)t92), 1, 0LL);
    goto LAB20;
 
}
 
static void Cont_1365_3(char *t0)
{
    char t3[8];
    char t4[8];
    char *t1;
    char *t2;
    char *t5;
    unsigned int t6;
    unsigned int t7;
    unsigned int t8;
    unsigned int t9;
    unsigned int t10;
    char *t11;
    char *t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;
    char *t16;
    char *t17;
    char *t18;
    unsigned int t19;
    unsigned int t20;
    unsigned int t21;
    unsigned int t22;
    char *t23;
    char *t24;
    char *t25;
    char *t26;
    char *t27;
    char *t28;
    unsigned int t29;
    unsigned int t30;
    char *t31;
    unsigned int t32;
    unsigned int t33;
    char *t34;
    unsigned int t35;
    unsigned int t36;
    char *t37;
 
LAB0:    t1 = (t0 + 3904U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;
 
LAB3:    goto *t2;
 
LAB2:    t2 = (t0 + 1208U);
    t5 = *((char **)t2);
    memset(t4, 0, 8);
    t2 = (t5 + 4);
    t6 = *((unsigned int *)t2);
    t7 = (~(t6));
    t8 = *((unsigned int *)t5);
    t9 = (t8 & t7);
    t10 = (t9 & 1U);
    if (t10 != 0)
        goto LAB4;
 
LAB5:    if (*((unsigned int *)t2) != 0)
        goto LAB6;
 
LAB7:    t12 = (t4 + 4);
    t13 = *((unsigned int *)t4);
    t14 = *((unsigned int *)t12);
    t15 = (t13 || t14);
    if (t15 > 0)
        goto LAB8;
 
LAB9:    t19 = *((unsigned int *)t4);
    t20 = (~(t19));
    t21 = *((unsigned int *)t12);
    t22 = (t20 || t21);
    if (t22 > 0)
        goto LAB10;
 
LAB11:    if (*((unsigned int *)t12) > 0)
        goto LAB12;
 
LAB13:    if (*((unsigned int *)t4) > 0)
        goto LAB14;
 
LAB15:    memcpy(t3, t24, 8);
 
LAB16:    t23 = (t0 + 4632);
    t25 = (t23 + 56U);
    t26 = *((char **)t25);
    t27 = (t26 + 56U);
    t28 = *((char **)t27);
    memset(t28, 0, 8);
    t29 = 1U;
    t30 = t29;
    t31 = (t3 + 4);
    t32 = *((unsigned int *)t3);
    t29 = (t29 & t32);
    t33 = *((unsigned int *)t31);
    t30 = (t30 & t33);
    t34 = (t28 + 4);
    t35 = *((unsigned int *)t28);
    *((unsigned int *)t28) = (t35 | t29);
    t36 = *((unsigned int *)t34);
    *((unsigned int *)t34) = (t36 | t30);
    xsi_driver_vfirst_trans(t23, 0, 0);
    t37 = (t0 + 4504);
    *((int *)t37) = 1;
 
LAB1:    return;
LAB4:    *((unsigned int *)t4) = 1;
    goto LAB7;
 
LAB6:    t11 = (t4 + 4);
    *((unsigned int *)t4) = 1;
    *((unsigned int *)t11) = 1;
    goto LAB7;
 
LAB8:    t16 = (t0 + 2088);
    t17 = (t16 + 56U);
    t18 = *((char **)t17);
    goto LAB9;
 
LAB10:    t23 = (t0 + 1048U);
    t24 = *((char **)t23);
    goto LAB11;
 
LAB12:    xsi_vlog_unsigned_bit_combine(t3, 1, t18, 1, t24, 1);
    goto LAB16;
 
LAB14:    memcpy(t3, t18, 8);
    goto LAB16;
 
}
 
static void Always_1367_4(char *t0)
{
    char t6[8];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t7;
    char *t8;
    unsigned int t9;
    unsigned int t10;
    unsigned int t11;
    unsigned int t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;
    unsigned int t18;
    unsigned int t19;
    unsigned int t20;
    char *t21;
    char *t22;
    unsigned int t23;
    unsigned int t24;
    unsigned int t25;
    unsigned int t26;
    unsigned int t27;
    char *t28;
    char *t29;
 
LAB0:    t1 = (t0 + 4152U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;
 
LAB3:    goto *t2;
 
LAB2:    t2 = (t0 + 4520);
    *((int *)t2) = 1;
    t3 = (t0 + 4184);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;
 
LAB1:    return;
LAB4:    t4 = (t0 + 1368U);
    t5 = *((char **)t4);
    t4 = ((char*)((ng0)));
    memset(t6, 0, 8);
    t7 = (t5 + 4);
    t8 = (t4 + 4);
    t9 = *((unsigned int *)t5);
    t10 = *((unsigned int *)t4);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t7);
    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 LAB8;
 
LAB5:    if (t18 != 0)
        goto LAB7;
 
LAB6:    *((unsigned int *)t6) = 1;
 
LAB8:    t22 = (t6 + 4);
    t23 = *((unsigned int *)t22);
    t24 = (~(t23));
    t25 = *((unsigned int *)t6);
    t26 = (t25 & t24);
    t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB9;
 
LAB10:    t2 = (t0 + 1368U);
    t3 = *((char **)t2);
    t2 = ((char*)((ng4)));
    memset(t6, 0, 8);
    t4 = (t3 + 4);
    t5 = (t2 + 4);
    t9 = *((unsigned int *)t3);
    t10 = *((unsigned int *)t2);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t4);
    t13 = *((unsigned int *)t5);
    t14 = (t12 ^ t13);
    t15 = (t11 | t14);
    t16 = *((unsigned int *)t4);
    t17 = *((unsigned int *)t5);
    t18 = (t16 | t17);
    t19 = (~(t18));
    t20 = (t15 & t19);
    if (t20 != 0)
        goto LAB15;
 
LAB12:    if (t18 != 0)
        goto LAB14;
 
LAB13:    *((unsigned int *)t6) = 1;
 
LAB15:    t8 = (t6 + 4);
    t23 = *((unsigned int *)t8);
    t24 = (~(t23));
    t25 = *((unsigned int *)t6);
    t26 = (t25 & t24);
    t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB16;
 
LAB17:
LAB18:
LAB11:    goto LAB2;
 
LAB7:    t21 = (t6 + 4);
    *((unsigned int *)t6) = 1;
    *((unsigned int *)t21) = 1;
    goto LAB8;
 
LAB9:    t28 = (t0 + 1528U);
    t29 = *((char **)t28);
    t28 = (t0 + 1928);
    xsi_vlogvar_assign_value(t28, t29, 0, 0, 1);
    goto LAB11;
 
LAB14:    t7 = (t6 + 4);
    *((unsigned int *)t6) = 1;
    *((unsigned int *)t7) = 1;
    goto LAB15;
 
LAB16:
LAB19:    t21 = ((char*)((ng0)));
    t22 = (t0 + 1928);
    xsi_vlogvar_assign_value(t22, t21, 0, 0, 1);
    t2 = (t0 + 4536);
    *((int *)t2) = 1;
    t3 = (t0 + 4184);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB20;
    goto LAB1;
 
LAB20:    t2 = (t0 + 1528U);
    t3 = *((char **)t2);
    t2 = ((char*)((ng4)));
    memset(t6, 0, 8);
    t4 = (t3 + 4);
    t5 = (t2 + 4);
    t9 = *((unsigned int *)t3);
    t10 = *((unsigned int *)t2);
    t11 = (t9 ^ t10);
    t12 = *((unsigned int *)t4);
    t13 = *((unsigned int *)t5);
    t14 = (t12 ^ t13);
    t15 = (t11 | t14);
    t16 = *((unsigned int *)t4);
    t17 = *((unsigned int *)t5);
    t18 = (t16 | t17);
    t19 = (~(t18));
    t20 = (t15 & t19);
    if (t20 != 0)
        goto LAB24;
 
LAB21:    if (t18 != 0)
        goto LAB23;
 
LAB22:    *((unsigned int *)t6) = 1;
 
LAB24:    t8 = (t6 + 4);
    t23 = *((unsigned int *)t8);
    t24 = (~(t23));
    t25 = *((unsigned int *)t6);
    t26 = (t25 & t24);
    t27 = (t26 != 0);
    if (t27 > 0)
        goto LAB25;
 
LAB26:
LAB27:    goto LAB18;
 
LAB23:    t7 = (t6 + 4);
    *((unsigned int *)t6) = 1;
    *((unsigned int *)t7) = 1;
    goto LAB24;
 
LAB25:    t21 = (t0 + 4552);
    *((int *)t21) = 1;
    t22 = (t0 + 4184);
    *((char **)t22) = t21;
    *((char **)t1) = &&LAB28;
    goto LAB1;
 
LAB28:    goto LAB27;
 
}
 
 
extern void unisims_ver_m_03665957290517102759_3574923728_init()
{
        static char *pe[] = {(void *)Initial_1351_0,(void *)Always_1356_1,(void *)Always_1359_2,(void *)Cont_1365_3,(void *)Always_1367_4};
        xsi_register_didat("unisims_ver_m_03665957290517102759_3574923728", "isim/vtach_test_isim_beh.exe.sim/unisims_ver/m_03665957290517102759_3574923728.didat");
        xsi_register_executes(pe);
}

Browse

Tools

Subversion Repositories vtach

[/] [vtach/] [trunk/] [isim/] [vtach_test_isim_beh.exe.sim/] [unisims_ver/] [m_03665957290517102759_3574923728.c] - Blame information for rev 2

Line No.	Rev	Author	Line
1	2	wd5gnr	`/**********************************************************************/`
2			`/* ____ ____ */`
3			`/* / /\/ / */`
4			`/* /___/ \ / */`
5			`/* \ \ \/ */`
6			`/* \ \ Copyright (c) 2003-2009 Xilinx, Inc. */`
7			`/* / / All Right Reserved. */`
8			`/* /---/ /\ */`
9			`/* \ \ / \ */`
10			`/* \___\/\___\ */`
11			`/***********************************************************************/`
12
13			`/* This file is designed for use with ISim build 0xb4d1ced7 */`
14
15			`#define XSI_HIDE_SYMBOL_SPEC true`
16			`#include "xsi.h"`
17			`#include <memory.h>`
18			`#ifdef __GNUC__`
19			`#include <stdlib.h>`
20			`#else`
21			`#include <malloc.h>`
22			`#define alloca _alloca`
23			`#endif`
24			`static unsigned int ng0[] = {0U, 0U};`
25			`static int ng1[] = {0, 0};`
26			`static int ng2[] = {1, 0};`
27			`static int ng3[] = {2, 0};`
28			`static unsigned int ng4[] = {1U, 0U};`
29
30
31
32			`static void Initial_1351_0(char *t0)`
33			`{`
34			`char *t1;`
35			`char *t2;`
36
37			`LAB0:`
38			`LAB2: t1 = ((char*)((ng0)));`
39			`t2 = (t0 + 1928);`
40			`xsi_vlogvar_assign_value(t2, t1, 0, 0, 1);`
41			`t1 = ((char*)((ng0)));`
42			`t2 = (t0 + 2088);`
43			`xsi_vlogvar_assign_value(t2, t1, 0, 0, 1);`
44
45			`LAB1: return;`
46			`}`
47
48			`static void Always_1356_1(char *t0)`
49			`{`
50			`char t4[8];`
51			`char *t1;`
52			`char *t2;`
53			`char *t3;`
54			`char *t5;`
55			`char *t6;`
56			`char *t7;`
57			`char *t8;`
58			`unsigned int t9;`
59			`unsigned int t10;`
60			`unsigned int t11;`
61			`unsigned int t12;`
62			`unsigned int t13;`
63			`char *t14;`
64			`char *t15;`
65			`char *t16;`
66			`unsigned int t17;`
67			`unsigned int t18;`
68			`unsigned int t19;`
69			`unsigned int t20;`
70			`unsigned int t21;`
71			`unsigned int t22;`
72			`unsigned int t23;`
73			`unsigned int t24;`
74			`char *t25;`
75
76			`LAB0: t1 = (t0 + 3408U);`
77			`t2 = ((char *)t1);`
78			`if (t2 == 0)`
79			`goto LAB2;`
80
81			`LAB3: goto *t2;`
82
83			`LAB2: t2 = (t0 + 4472);`
84			`((int )t2) = 1;`
85			`t3 = (t0 + 3440);`
86			`((char *)t3) = t2;`
87			`((char *)t1) = &&LAB4;`
88
89			`LAB1: return;`
90			`LAB4: t5 = (t0 + 2088);`
91			`t6 = (t5 + 56U);`
92			`t7 = ((char *)t6);`
93			`memset(t4, 0, 8);`
94			`t8 = (t7 + 4);`
95			`t9 = ((unsigned int )t8);`
96			`t10 = (~(t9));`
97			`t11 = ((unsigned int )t7);`
98			`t12 = (t11 & t10);`
99			`t13 = (t12 & 1U);`
100			`if (t13 != 0)`
101			`goto LAB8;`
102
103			`LAB6: if (((unsigned int )t8) == 0)`
104			`goto LAB5;`
105
106			`LAB7: t14 = (t4 + 4);`
107			`((unsigned int )t4) = 1;`
108			`((unsigned int )t14) = 1;`
109
110			`LAB8: t15 = (t4 + 4);`
111			`t16 = (t7 + 4);`
112			`t17 = ((unsigned int )t7);`
113			`t18 = (~(t17));`
114			`((unsigned int )t4) = t18;`
115			`((unsigned int )t15) = 0;`
116			`if (((unsigned int )t16) != 0)`
117			`goto LAB10;`
118
119			`LAB9: t23 = ((unsigned int )t4);`
120			`((unsigned int )t4) = (t23 & 1U);`
121			`t24 = ((unsigned int )t15);`
122			`((unsigned int )t15) = (t24 & 1U);`
123			`t25 = (t0 + 2088);`
124			`xsi_vlogvar_wait_assign_value(t25, t4, 0, 0, 1, 0LL);`
125			`goto LAB2;`
126
127			`LAB5: ((unsigned int )t4) = 1;`
128			`goto LAB8;`
129
130			`LAB10: t19 = ((unsigned int )t4);`
131			`t20 = ((unsigned int )t16);`
132			`((unsigned int )t4) = (t19 \| t20);`
133			`t21 = ((unsigned int )t15);`
134			`t22 = ((unsigned int )t16);`
135			`((unsigned int )t15) = (t21 \| t22);`
136			`goto LAB9;`
137
138			`}`
139
140			`static void Always_1359_2(char *t0)`
141			`{`
142			`char t6[8];`
143			`char t19[8];`
144			`char t48[8];`
145			`char t61[8];`
146			`char t92[8];`
147			`char *t1;`
148			`char *t2;`
149			`char *t3;`
150			`char *t4;`
151			`char *t5;`
152			`char *t7;`
153			`char *t8;`
154			`char *t9;`
155			`char *t10;`
156			`char *t11;`
157			`unsigned int t12;`
158			`int t13;`
159			`unsigned int t14;`
160			`unsigned int t15;`
161			`unsigned int t16;`
162			`unsigned int t17;`
163			`unsigned int t18;`
164			`unsigned int t20;`
165			`unsigned int t21;`
166			`unsigned int t22;`
167			`unsigned int t23;`
168			`unsigned int t24;`
169			`unsigned int t25;`
170			`unsigned int t26;`
171			`unsigned int t27;`
172			`unsigned int t28;`
173			`unsigned int t29;`
174			`char *t30;`
175			`char *t31;`
176			`unsigned int t32;`
177			`unsigned int t33;`
178			`unsigned int t34;`
179			`unsigned int t35;`
180			`unsigned int t36;`
181			`unsigned int t37;`
182			`unsigned int t38;`
183			`unsigned int t39;`
184			`int t40;`
185			`unsigned int t41;`
186			`unsigned int t42;`
187			`unsigned int t43;`
188			`unsigned int t44;`
189			`unsigned int t45;`
190			`unsigned int t46;`
191			`char *t47;`
192			`char *t49;`
193			`char *t50;`
194			`char *t51;`
195			`char *t52;`
196			`char *t53;`
197			`unsigned int t54;`
198			`int t55;`
199			`unsigned int t56;`
200			`unsigned int t57;`
201			`unsigned int t58;`
202			`unsigned int t59;`
203			`unsigned int t60;`
204			`unsigned int t62;`
205			`unsigned int t63;`
206			`unsigned int t64;`
207			`char *t65;`
208			`char *t66;`
209			`unsigned int t67;`
210			`unsigned int t68;`
211			`unsigned int t69;`
212			`unsigned int t70;`
213			`unsigned int t71;`
214			`unsigned int t72;`
215			`unsigned int t73;`
216			`char *t74;`
217			`char *t75;`
218			`unsigned int t76;`
219			`unsigned int t77;`
220			`unsigned int t78;`
221			`unsigned int t79;`
222			`unsigned int t80;`
223			`unsigned int t81;`
224			`unsigned int t82;`
225			`unsigned int t83;`
226			`int t84;`
227			`unsigned int t85;`
228			`unsigned int t86;`
229			`unsigned int t87;`
230			`unsigned int t88;`
231			`unsigned int t89;`
232			`unsigned int t90;`
233			`char *t91;`
234			`char *t93;`
235			`char *t94;`
236			`char *t95;`
237			`char *t96;`
238			`char *t97;`
239			`unsigned int t98;`
240			`int t99;`
241
242			`LAB0: t1 = (t0 + 3656U);`
243			`t2 = ((char *)t1);`
244			`if (t2 == 0)`
245			`goto LAB2;`
246
247			`LAB3: goto *t2;`
248
249			`LAB2: t2 = (t0 + 4488);`
250			`((int )t2) = 1;`
251			`t3 = (t0 + 3688);`
252			`((char *)t3) = t2;`
253			`((char *)t1) = &&LAB4;`
254
255			`LAB1: return;`
256			`LAB4:`
257			`LAB5: t4 = (t0 + 1368U);`
258			`t5 = ((char *)t4);`
259			`t4 = (t0 + 2248);`
260			`t7 = (t0 + 2248);`
261			`t8 = (t7 + 72U);`
262			`t9 = ((char *)t8);`
263			`t10 = ((char*)((ng1)));`
264			`xsi_vlog_generic_convert_bit_index(t6, t9, 2, t10, 32, 1);`
265			`t11 = (t6 + 4);`
266			`t12 = ((unsigned int )t11);`
267			`t13 = (!(t12));`
268			`if (t13 == 1)`
269			`goto LAB6;`
270
271			`LAB7: t2 = (t0 + 2248);`
272			`t3 = (t2 + 56U);`
273			`t4 = ((char *)t3);`
274			`memset(t6, 0, 8);`
275			`t5 = (t6 + 4);`
276			`t7 = (t4 + 4);`
277			`t12 = ((unsigned int )t4);`
278			`t14 = (t12 >> 0);`
279			`t15 = (t14 & 1);`
280			`((unsigned int )t6) = t15;`
281			`t16 = ((unsigned int )t7);`
282			`t17 = (t16 >> 0);`
283			`t18 = (t17 & 1);`
284			`((unsigned int )t5) = t18;`
285			`t8 = (t0 + 1368U);`
286			`t9 = ((char *)t8);`
287			`t20 = ((unsigned int )t6);`
288			`t21 = ((unsigned int )t9);`
289			`t22 = (t20 & t21);`
290			`((unsigned int )t19) = t22;`
291			`t8 = (t6 + 4);`
292			`t10 = (t9 + 4);`
293			`t11 = (t19 + 4);`
294			`t23 = ((unsigned int )t8);`
295			`t24 = ((unsigned int )t10);`
296			`t25 = (t23 \| t24);`
297			`((unsigned int )t11) = t25;`
298			`t26 = ((unsigned int )t11);`
299			`t27 = (t26 != 0);`
300			`if (t27 == 1)`
301			`goto LAB8;`
302
303			`LAB9:`
304			`LAB10: t47 = (t0 + 2248);`
305			`t49 = (t0 + 2248);`
306			`t50 = (t49 + 72U);`
307			`t51 = ((char *)t50);`
308			`t52 = ((char*)((ng2)));`
309			`xsi_vlog_generic_convert_bit_index(t48, t51, 2, t52, 32, 1);`
310			`t53 = (t48 + 4);`
311			`t54 = ((unsigned int )t53);`
312			`t55 = (!(t54));`
313			`if (t55 == 1)`
314			`goto LAB11;`
315
316			`LAB12: t2 = (t0 + 2248);`
317			`t3 = (t2 + 56U);`
318			`t4 = ((char *)t3);`
319			`memset(t6, 0, 8);`
320			`t5 = (t6 + 4);`
321			`t7 = (t4 + 4);`
322			`t12 = ((unsigned int )t4);`
323			`t14 = (t12 >> 1);`
324			`t15 = (t14 & 1);`
325			`((unsigned int )t6) = t15;`
326			`t16 = ((unsigned int )t7);`
327			`t17 = (t16 >> 1);`
328			`t18 = (t17 & 1);`
329			`((unsigned int )t5) = t18;`
330			`t8 = (t0 + 2248);`
331			`t9 = (t8 + 56U);`
332			`t10 = ((char *)t9);`
333			`memset(t19, 0, 8);`
334			`t11 = (t19 + 4);`
335			`t30 = (t10 + 4);`
336			`t20 = ((unsigned int )t10);`
337			`t21 = (t20 >> 0);`
338			`t22 = (t21 & 1);`
339			`((unsigned int )t19) = t22;`
340			`t23 = ((unsigned int )t30);`
341			`t24 = (t23 >> 0);`
342			`t25 = (t24 & 1);`
343			`((unsigned int )t11) = t25;`
344			`t26 = ((unsigned int )t6);`
345			`t27 = ((unsigned int )t19);`
346			`t28 = (t26 & t27);`
347			`((unsigned int )t48) = t28;`
348			`t31 = (t6 + 4);`
349			`t47 = (t19 + 4);`
350			`t49 = (t48 + 4);`
351			`t29 = ((unsigned int )t31);`
352			`t32 = ((unsigned int )t47);`
353			`t33 = (t29 \| t32);`
354			`((unsigned int )t49) = t33;`
355			`t34 = ((unsigned int )t49);`
356			`t35 = (t34 != 0);`
357			`if (t35 == 1)`
358			`goto LAB13;`
359
360			`LAB14:`
361			`LAB15: t52 = (t0 + 1368U);`
362			`t53 = ((char *)t52);`
363			`t62 = ((unsigned int )t48);`
364			`t63 = ((unsigned int )t53);`
365			`t64 = (t62 & t63);`
366			`((unsigned int )t61) = t64;`
367			`t52 = (t48 + 4);`
368			`t65 = (t53 + 4);`
369			`t66 = (t61 + 4);`
370			`t67 = ((unsigned int )t52);`
371			`t68 = ((unsigned int )t65);`
372			`t69 = (t67 \| t68);`
373			`((unsigned int )t66) = t69;`
374			`t70 = ((unsigned int )t66);`
375			`t71 = (t70 != 0);`
376			`if (t71 == 1)`
377			`goto LAB16;`
378
379			`LAB17:`
380			`LAB18: t91 = (t0 + 2248);`
381			`t93 = (t0 + 2248);`
382			`t94 = (t93 + 72U);`
383			`t95 = ((char *)t94);`
384			`t96 = ((char*)((ng3)));`
385			`xsi_vlog_generic_convert_bit_index(t92, t95, 2, t96, 32, 1);`
386			`t97 = (t92 + 4);`
387			`t98 = ((unsigned int )t97);`
388			`t99 = (!(t98));`
389			`if (t99 == 1)`
390			`goto LAB19;`
391
392			`LAB20: goto LAB2;`
393
394			`LAB6: xsi_vlogvar_wait_assign_value(t4, t5, 0, ((unsigned int )t6), 1, 0LL);`
395			`goto LAB7;`
396
397			`LAB8: t28 = ((unsigned int )t19);`
398			`t29 = ((unsigned int )t11);`
399			`((unsigned int )t19) = (t28 \| t29);`
400			`t30 = (t6 + 4);`
401			`t31 = (t9 + 4);`
402			`t32 = ((unsigned int )t6);`
403			`t33 = (~(t32));`
404			`t34 = ((unsigned int )t30);`
405			`t35 = (~(t34));`
406			`t36 = ((unsigned int )t9);`
407			`t37 = (~(t36));`
408			`t38 = ((unsigned int )t31);`
409			`t39 = (~(t38));`
410			`t13 = (t33 & t35);`
411			`t40 = (t37 & t39);`
412			`t41 = (~(t13));`
413			`t42 = (~(t40));`
414			`t43 = ((unsigned int )t11);`
415			`((unsigned int )t11) = (t43 & t41);`
416			`t44 = ((unsigned int )t11);`
417			`((unsigned int )t11) = (t44 & t42);`
418			`t45 = ((unsigned int )t19);`
419			`((unsigned int )t19) = (t45 & t41);`
420			`t46 = ((unsigned int )t19);`
421			`((unsigned int )t19) = (t46 & t42);`
422			`goto LAB10;`
423
424			`LAB11: xsi_vlogvar_wait_assign_value(t47, t19, 0, ((unsigned int )t48), 1, 0LL);`
425			`goto LAB12;`
426
427			`LAB13: t36 = ((unsigned int )t48);`
428			`t37 = ((unsigned int )t49);`
429			`((unsigned int )t48) = (t36 \| t37);`
430			`t50 = (t6 + 4);`
431			`t51 = (t19 + 4);`
432			`t38 = ((unsigned int )t6);`
433			`t39 = (~(t38));`
434			`t41 = ((unsigned int )t50);`
435			`t42 = (~(t41));`
436			`t43 = ((unsigned int )t19);`
437			`t44 = (~(t43));`
438			`t45 = ((unsigned int )t51);`
439			`t46 = (~(t45));`
440			`t13 = (t39 & t42);`
441			`t40 = (t44 & t46);`
442			`t54 = (~(t13));`
443			`t56 = (~(t40));`
444			`t57 = ((unsigned int )t49);`
445			`((unsigned int )t49) = (t57 & t54);`
446			`t58 = ((unsigned int )t49);`
447			`((unsigned int )t49) = (t58 & t56);`
448			`t59 = ((unsigned int )t48);`
449			`((unsigned int )t48) = (t59 & t54);`
450			`t60 = ((unsigned int )t48);`
451			`((unsigned int )t48) = (t60 & t56);`
452			`goto LAB15;`
453
454			`LAB16: t72 = ((unsigned int )t61);`
455			`t73 = ((unsigned int )t66);`
456			`((unsigned int )t61) = (t72 \| t73);`
457			`t74 = (t48 + 4);`
458			`t75 = (t53 + 4);`
459			`t76 = ((unsigned int )t48);`
460			`t77 = (~(t76));`
461			`t78 = ((unsigned int )t74);`
462			`t79 = (~(t78));`
463			`t80 = ((unsigned int )t53);`
464			`t81 = (~(t80));`
465			`t82 = ((unsigned int )t75);`
466			`t83 = (~(t82));`
467			`t55 = (t77 & t79);`
468			`t84 = (t81 & t83);`
469			`t85 = (~(t55));`
470			`t86 = (~(t84));`
471			`t87 = ((unsigned int )t66);`
472			`((unsigned int )t66) = (t87 & t85);`
473			`t88 = ((unsigned int )t66);`
474			`((unsigned int )t66) = (t88 & t86);`
475			`t89 = ((unsigned int )t61);`
476			`((unsigned int )t61) = (t89 & t85);`
477			`t90 = ((unsigned int )t61);`
478			`((unsigned int )t61) = (t90 & t86);`
479			`goto LAB18;`
480
481			`LAB19: xsi_vlogvar_wait_assign_value(t91, t61, 0, ((unsigned int )t92), 1, 0LL);`
482			`goto LAB20;`
483
484			`}`
485
486			`static void Cont_1365_3(char *t0)`
487			`{`
488			`char t3[8];`
489			`char t4[8];`
490			`char *t1;`
491			`char *t2;`
492			`char *t5;`
493			`unsigned int t6;`
494			`unsigned int t7;`
495			`unsigned int t8;`
496			`unsigned int t9;`
497			`unsigned int t10;`
498			`char *t11;`
499			`char *t12;`
500			`unsigned int t13;`
501			`unsigned int t14;`
502			`unsigned int t15;`
503			`char *t16;`
504			`char *t17;`
505			`char *t18;`
506			`unsigned int t19;`
507			`unsigned int t20;`
508			`unsigned int t21;`
509			`unsigned int t22;`
510			`char *t23;`
511			`char *t24;`
512			`char *t25;`
513			`char *t26;`
514			`char *t27;`
515			`char *t28;`
516			`unsigned int t29;`
517			`unsigned int t30;`
518			`char *t31;`
519			`unsigned int t32;`
520			`unsigned int t33;`
521			`char *t34;`
522			`unsigned int t35;`
523			`unsigned int t36;`
524			`char *t37;`
525
526			`LAB0: t1 = (t0 + 3904U);`
527			`t2 = ((char *)t1);`
528			`if (t2 == 0)`
529			`goto LAB2;`
530
531			`LAB3: goto *t2;`
532
533			`LAB2: t2 = (t0 + 1208U);`
534			`t5 = ((char *)t2);`
535			`memset(t4, 0, 8);`
536			`t2 = (t5 + 4);`
537			`t6 = ((unsigned int )t2);`
538			`t7 = (~(t6));`
539			`t8 = ((unsigned int )t5);`
540			`t9 = (t8 & t7);`
541			`t10 = (t9 & 1U);`
542			`if (t10 != 0)`
543			`goto LAB4;`
544
545			`LAB5: if (((unsigned int )t2) != 0)`
546			`goto LAB6;`
547
548			`LAB7: t12 = (t4 + 4);`
549			`t13 = ((unsigned int )t4);`
550			`t14 = ((unsigned int )t12);`
551			`t15 = (t13 \|\| t14);`
552			`if (t15 > 0)`
553			`goto LAB8;`
554
555			`LAB9: t19 = ((unsigned int )t4);`
556			`t20 = (~(t19));`
557			`t21 = ((unsigned int )t12);`
558			`t22 = (t20 \|\| t21);`
559			`if (t22 > 0)`
560			`goto LAB10;`
561
562			`LAB11: if (((unsigned int )t12) > 0)`
563			`goto LAB12;`
564
565			`LAB13: if (((unsigned int )t4) > 0)`
566			`goto LAB14;`
567
568			`LAB15: memcpy(t3, t24, 8);`
569
570			`LAB16: t23 = (t0 + 4632);`
571			`t25 = (t23 + 56U);`
572			`t26 = ((char *)t25);`
573			`t27 = (t26 + 56U);`
574			`t28 = ((char *)t27);`
575			`memset(t28, 0, 8);`
576			`t29 = 1U;`
577			`t30 = t29;`
578			`t31 = (t3 + 4);`
579			`t32 = ((unsigned int )t3);`
580			`t29 = (t29 & t32);`
581			`t33 = ((unsigned int )t31);`
582			`t30 = (t30 & t33);`
583			`t34 = (t28 + 4);`
584			`t35 = ((unsigned int )t28);`
585			`((unsigned int )t28) = (t35 \| t29);`
586			`t36 = ((unsigned int )t34);`
587			`((unsigned int )t34) = (t36 \| t30);`
588			`xsi_driver_vfirst_trans(t23, 0, 0);`
589			`t37 = (t0 + 4504);`
590			`((int )t37) = 1;`
591
592			`LAB1: return;`
593			`LAB4: ((unsigned int )t4) = 1;`
594			`goto LAB7;`
595
596			`LAB6: t11 = (t4 + 4);`
597			`((unsigned int )t4) = 1;`
598			`((unsigned int )t11) = 1;`
599			`goto LAB7;`
600
601			`LAB8: t16 = (t0 + 2088);`
602			`t17 = (t16 + 56U);`
603			`t18 = ((char *)t17);`
604			`goto LAB9;`
605
606			`LAB10: t23 = (t0 + 1048U);`
607			`t24 = ((char *)t23);`
608			`goto LAB11;`
609
610			`LAB12: xsi_vlog_unsigned_bit_combine(t3, 1, t18, 1, t24, 1);`
611			`goto LAB16;`
612
613			`LAB14: memcpy(t3, t18, 8);`
614			`goto LAB16;`
615
616			`}`
617
618			`static void Always_1367_4(char *t0)`
619			`{`
620			`char t6[8];`
621			`char *t1;`
622			`char *t2;`
623			`char *t3;`
624			`char *t4;`
625			`char *t5;`
626			`char *t7;`
627			`char *t8;`
628			`unsigned int t9;`
629			`unsigned int t10;`
630			`unsigned int t11;`
631			`unsigned int t12;`
632			`unsigned int t13;`
633			`unsigned int t14;`
634			`unsigned int t15;`
635			`unsigned int t16;`
636			`unsigned int t17;`
637			`unsigned int t18;`
638			`unsigned int t19;`
639			`unsigned int t20;`
640			`char *t21;`
641			`char *t22;`
642			`unsigned int t23;`
643			`unsigned int t24;`
644			`unsigned int t25;`
645			`unsigned int t26;`
646			`unsigned int t27;`
647			`char *t28;`
648			`char *t29;`
649
650			`LAB0: t1 = (t0 + 4152U);`
651			`t2 = ((char *)t1);`
652			`if (t2 == 0)`
653			`goto LAB2;`
654
655			`LAB3: goto *t2;`
656
657			`LAB2: t2 = (t0 + 4520);`
658			`((int )t2) = 1;`
659			`t3 = (t0 + 4184);`
660			`((char *)t3) = t2;`
661			`((char *)t1) = &&LAB4;`
662
663			`LAB1: return;`
664			`LAB4: t4 = (t0 + 1368U);`
665			`t5 = ((char *)t4);`
666			`t4 = ((char*)((ng0)));`
667			`memset(t6, 0, 8);`
668			`t7 = (t5 + 4);`
669			`t8 = (t4 + 4);`
670			`t9 = ((unsigned int )t5);`
671			`t10 = ((unsigned int )t4);`
672			`t11 = (t9 ^ t10);`
673			`t12 = ((unsigned int )t7);`
674			`t13 = ((unsigned int )t8);`
675			`t14 = (t12 ^ t13);`
676			`t15 = (t11 \| t14);`
677			`t16 = ((unsigned int )t7);`
678			`t17 = ((unsigned int )t8);`
679			`t18 = (t16 \| t17);`
680			`t19 = (~(t18));`
681			`t20 = (t15 & t19);`
682			`if (t20 != 0)`
683			`goto LAB8;`
684
685			`LAB5: if (t18 != 0)`
686			`goto LAB7;`
687
688			`LAB6: ((unsigned int )t6) = 1;`
689
690			`LAB8: t22 = (t6 + 4);`
691			`t23 = ((unsigned int )t22);`
692			`t24 = (~(t23));`
693			`t25 = ((unsigned int )t6);`
694			`t26 = (t25 & t24);`
695			`t27 = (t26 != 0);`
696			`if (t27 > 0)`
697			`goto LAB9;`
698
699			`LAB10: t2 = (t0 + 1368U);`
700			`t3 = ((char *)t2);`
701			`t2 = ((char*)((ng4)));`
702			`memset(t6, 0, 8);`
703			`t4 = (t3 + 4);`
704			`t5 = (t2 + 4);`
705			`t9 = ((unsigned int )t3);`
706			`t10 = ((unsigned int )t2);`
707			`t11 = (t9 ^ t10);`
708			`t12 = ((unsigned int )t4);`
709			`t13 = ((unsigned int )t5);`
710			`t14 = (t12 ^ t13);`
711			`t15 = (t11 \| t14);`
712			`t16 = ((unsigned int )t4);`
713			`t17 = ((unsigned int )t5);`
714			`t18 = (t16 \| t17);`
715			`t19 = (~(t18));`
716			`t20 = (t15 & t19);`
717			`if (t20 != 0)`
718			`goto LAB15;`
719
720			`LAB12: if (t18 != 0)`
721			`goto LAB14;`
722
723			`LAB13: ((unsigned int )t6) = 1;`
724
725			`LAB15: t8 = (t6 + 4);`
726			`t23 = ((unsigned int )t8);`
727			`t24 = (~(t23));`
728			`t25 = ((unsigned int )t6);`
729			`t26 = (t25 & t24);`
730			`t27 = (t26 != 0);`
731			`if (t27 > 0)`
732			`goto LAB16;`
733
734			`LAB17:`
735			`LAB18:`
736			`LAB11: goto LAB2;`
737
738			`LAB7: t21 = (t6 + 4);`
739			`((unsigned int )t6) = 1;`
740			`((unsigned int )t21) = 1;`
741			`goto LAB8;`
742
743			`LAB9: t28 = (t0 + 1528U);`
744			`t29 = ((char *)t28);`
745			`t28 = (t0 + 1928);`
746			`xsi_vlogvar_assign_value(t28, t29, 0, 0, 1);`
747			`goto LAB11;`
748
749			`LAB14: t7 = (t6 + 4);`
750			`((unsigned int )t6) = 1;`
751			`((unsigned int )t7) = 1;`
752			`goto LAB15;`
753
754			`LAB16:`
755			`LAB19: t21 = ((char*)((ng0)));`
756			`t22 = (t0 + 1928);`
757			`xsi_vlogvar_assign_value(t22, t21, 0, 0, 1);`
758			`t2 = (t0 + 4536);`
759			`((int )t2) = 1;`
760			`t3 = (t0 + 4184);`
761			`((char *)t3) = t2;`
762			`((char *)t1) = &&LAB20;`
763			`goto LAB1;`
764
765			`LAB20: t2 = (t0 + 1528U);`
766			`t3 = ((char *)t2);`
767			`t2 = ((char*)((ng4)));`
768			`memset(t6, 0, 8);`
769			`t4 = (t3 + 4);`
770			`t5 = (t2 + 4);`
771			`t9 = ((unsigned int )t3);`
772			`t10 = ((unsigned int )t2);`
773			`t11 = (t9 ^ t10);`
774			`t12 = ((unsigned int )t4);`
775			`t13 = ((unsigned int )t5);`
776			`t14 = (t12 ^ t13);`
777			`t15 = (t11 \| t14);`
778			`t16 = ((unsigned int )t4);`
779			`t17 = ((unsigned int )t5);`
780			`t18 = (t16 \| t17);`
781			`t19 = (~(t18));`
782			`t20 = (t15 & t19);`
783			`if (t20 != 0)`
784			`goto LAB24;`
785
786			`LAB21: if (t18 != 0)`
787			`goto LAB23;`
788
789			`LAB22: ((unsigned int )t6) = 1;`
790
791			`LAB24: t8 = (t6 + 4);`
792			`t23 = ((unsigned int )t8);`
793			`t24 = (~(t23));`
794			`t25 = ((unsigned int )t6);`
795			`t26 = (t25 & t24);`
796			`t27 = (t26 != 0);`
797			`if (t27 > 0)`
798			`goto LAB25;`
799
800			`LAB26:`
801			`LAB27: goto LAB18;`
802
803			`LAB23: t7 = (t6 + 4);`
804			`((unsigned int )t6) = 1;`
805			`((unsigned int )t7) = 1;`
806			`goto LAB24;`
807
808			`LAB25: t21 = (t0 + 4552);`
809			`((int )t21) = 1;`
810			`t22 = (t0 + 4184);`
811			`((char *)t22) = t21;`
812			`((char *)t1) = &&LAB28;`
813			`goto LAB1;`
814
815			`LAB28: goto LAB27;`
816
817			`}`
818
819
820			`extern void unisims_ver_m_03665957290517102759_3574923728_init()`
821			`{`
822			`static char pe[] = {(void )Initial_1351_0,(void )Always_1356_1,(void )Always_1359_2,(void )Cont_1365_3,(void )Always_1367_4};`
823			`xsi_register_didat("unisims_ver_m_03665957290517102759_3574923728", "isim/vtach_test_isim_beh.exe.sim/unisims_ver/m_03665957290517102759_3574923728.didat");`
824			`xsi_register_executes(pe);`
825			`}`