a_4049773766_3140140613.c

moltiplicatore floating point

    t16 = (1U * t15);
    t17 = (0 + t16);
    t12 = (t13 + t17);
    t18 = *((unsigned char *)t12);
    if (t18 == 1)
        goto LAB14;

LAB15:    t11 = (unsigned char)0;

LAB16:    t3 = t11;

LAB13:    if (t3 == 1)
        goto LAB8;

LAB9:    t28 = (t0 + 1604U);
    t29 = *((char **)t28);
    t30 = (2 - 3);
    t31 = (t30 * -1);
    t32 = (1U * t31);
    t33 = (0 + t32);
    t28 = (t29 + t33);
    t34 = *((unsigned char *)t28);
    if (t34 == 1)
        goto LAB20;

LAB21:    t27 = (unsigned char)0;

LAB22:    if (t27 == 1)
        goto LAB17;

LAB18:    t26 = (unsigned char)0;

LAB19:    t2 = t26;

LAB10:    if (t2 == 1)
        goto LAB5;

LAB6:    t52 = (t0 + 1604U);
    t53 = *((char **)t52);
    t54 = (2 - 3);
    t55 = (t54 * -1);
    t56 = (1U * t55);
    t57 = (0 + t56);
    t52 = (t53 + t57);
    t58 = *((unsigned char *)t52);
    if (t58 == 1)
        goto LAB29;

LAB30:    t51 = (unsigned char)0;

LAB31:    if (t51 == 1)
        goto LAB26;

LAB27:    t50 = (unsigned char)0;

LAB28:    if (t50 == 1)
        goto LAB23;

LAB24:    t49 = (unsigned char)0;

LAB25:    t1 = t49;

LAB7:    t73 = (t0 + 3576);
    t76 = (t73 + 32U);
    t77 = *((char **)t76);
    t78 = (t77 + 32U);
    t79 = *((char **)t78);
    *((unsigned char *)t79) = t1;
    xsi_driver_first_trans_fast(t73);

LAB2:    t80 = (t0 + 3356);
    *((int *)t80) = 1;

LAB1:    return;
LAB4:    goto LAB2;

LAB5:    t1 = (unsigned char)1;
    goto LAB7;

LAB8:    t2 = (unsigned char)1;
    goto LAB10;

LAB11:    t3 = (unsigned char)1;
    goto LAB13;

LAB14:    t19 = (t0 + 1516U);
    t20 = *((char **)t19);
    t21 = (1 - 3);
    t22 = (t21 * -1);
    t23 = (1U * t22);
    t24 = (0 + t23);
    t19 = (t20 + t24);
    t25 = *((unsigned char *)t19);
    t11 = t25;
    goto LAB16;

LAB17:    t42 = (t0 + 1516U);
    t43 = *((char **)t42);
    t44 = (0 - 3);
    t45 = (t44 * -1);
    t46 = (1U * t45);
    t47 = (0 + t46);
    t42 = (t43 + t47);
    t48 = *((unsigned char *)t42);
    t26 = t48;
    goto LAB19;

LAB20:    t35 = (t0 + 1604U);
    t36 = *((char **)t35);
    t37 = (1 - 3);
    t38 = (t37 * -1);
    t39 = (1U * t38);
    t40 = (0 + t39);
    t35 = (t36 + t40);
    t41 = *((unsigned char *)t35);
    t27 = t41;
    goto LAB22;

LAB23:    t73 = (t0 + 724U);
    t74 = *((char **)t73);
    t75 = *((unsigned char *)t74);
    t49 = t75;
    goto LAB25;

LAB26:    t66 = (t0 + 1604U);
    t67 = *((char **)t66);
    t68 = (0 - 3);
    t69 = (t68 * -1);
    t70 = (1U * t69);
    t71 = (0 + t70);
    t66 = (t67 + t71);
    t72 = *((unsigned char *)t66);
    t50 = t72;
    goto LAB28;

LAB29:    t59 = (t0 + 1604U);
    t60 = *((char **)t59);
    t61 = (1 - 3);
    t62 = (t61 * -1);
    t63 = (1U * t62);
    t64 = (0 + t63);
    t59 = (t60 + t64);
    t65 = *((unsigned char *)t59);
    t51 = t65;
    goto LAB31;

}

static void work_a_4049773766_3140140613_p_5(char *t0)
{
    unsigned char t1;
    unsigned char t2;
    char *t3;
    char *t4;
    int t5;
    unsigned int t6;
    unsigned int t7;
    unsigned int t8;
    unsigned char t9;
    unsigned char t10;
    char *t11;
    char *t12;
    int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned char t17;
    char *t18;
    char *t19;
    int t20;
    unsigned int t21;
    unsigned int t22;
    unsigned int t23;
    unsigned char t24;
    unsigned char t25;
    unsigned char t26;
    char *t27;
    char *t28;
    int t29;
    unsigned int t30;
    unsigned int t31;
    unsigned int t32;
    unsigned char t33;
    char *t34;
    char *t35;
    int t36;
    unsigned int t37;
    unsigned int t38;
    unsigned int t39;
    unsigned char t40;
    char *t41;
    char *t42;
    unsigned char t43;
    char *t44;
    char *t45;
    char *t46;
    char *t47;
    char *t48;

LAB0:    xsi_set_current_line(59, ng0);

LAB3:    t3 = (t0 + 1516U);
    t4 = *((char **)t3);
    t5 = (1 - 3);
    t6 = (t5 * -1);
    t7 = (1U * t6);
    t8 = (0 + t7);
    t3 = (t4 + t8);
    t9 = *((unsigned char *)t3);
    if (t9 == 1)
        goto LAB8;

LAB9:    t11 = (t0 + 1604U);
    t12 = *((char **)t11);
    t13 = (1 - 3);
    t14 = (t13 * -1);
    t15 = (1U * t14);
    t16 = (0 + t15);
    t11 = (t12 + t16);
    t17 = *((unsigned char *)t11);
    if (t17 == 1)
        goto LAB11;

LAB12:    t10 = (unsigned char)0;

LAB13:    t2 = t10;

LAB10:    if (t2 == 1)
        goto LAB5;

LAB6:    t27 = (t0 + 1604U);
    t28 = *((char **)t27);
    t29 = (1 - 3);
    t30 = (t29 * -1);
    t31 = (1U * t30);
    t32 = (0 + t31);
    t27 = (t28 + t32);
    t33 = *((unsigned char *)t27);
    if (t33 == 1)
        goto LAB17;

LAB18:    t26 = (unsigned char)0;

LAB19:    if (t26 == 1)
        goto LAB14;

LAB15:    t25 = (unsigned char)0;

LAB16:    t1 = t25;

LAB7:    t41 = (t0 + 3612);
    t44 = (t41 + 32U);
    t45 = *((char **)t44);
    t46 = (t45 + 32U);
    t47 = *((char **)t46);
    *((unsigned char *)t47) = t1;
    xsi_driver_first_trans_fast(t41);

LAB2:    t48 = (t0 + 3364);
    *((int *)t48) = 1;

LAB1:    return;
LAB4:    goto LAB2;

LAB5:    t1 = (unsigned char)1;
    goto LAB7;

LAB8:    t2 = (unsigned char)1;
    goto LAB10;

LAB11:    t18 = (t0 + 1516U);
    t19 = *((char **)t18);
    t20 = (0 - 3);
    t21 = (t20 * -1);
    t22 = (1U * t21);
    t23 = (0 + t22);
    t18 = (t19 + t23);
    t24 = *((unsigned char *)t18);
    t10 = t24;
    goto LAB13;

LAB14:    t41 = (t0 + 724U);
    t42 = *((char **)t41);
    t43 = *((unsigned char *)t42);
    t25 = t43;
    goto LAB16;

LAB17:    t34 = (t0 + 1604U);
    t35 = *((char **)t34);
    t36 = (0 - 3);
    t37 = (t36 * -1);
    t38 = (1U * t37);
    t39 = (0 + t38);
    t34 = (t35 + t39);
    t40 = *((unsigned char *)t34);
    t26 = t40;
    goto LAB19;

}

static void work_a_4049773766_3140140613_p_6(char *t0)
{
    unsigned char t1;
    char *t2;
    char *t3;
    int t4;
    unsigned int t5;
    unsigned int t6;
    unsigned int t7;
    unsigned char t8;
    unsigned char t9;
    char *t10;
    char *t11;
    int t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned char t16;
    char *t17;
    char *t18;
    unsigned char t19;
    char *t20;
    char *t21;
    char *t22;
    char *t23;
    char *t24;

LAB0:    xsi_set_current_line(60, ng0);

LAB3:    t2 = (t0 + 1516U);
    t3 = *((char **)t2);
    t4 = (0 - 3);
    t5 = (t4 * -1);
    t6 = (1U * t5);
    t7 = (0 + t6);
    t2 = (t3 + t7);
    t8 = *((unsigned char *)t2);
    if (t8 == 1)
        goto LAB5;

LAB6:    t10 = (t0 + 1604U);
    t11 = *((char **)t10);
    t12 = (0 - 3);
    t13 = (t12 * -1);
    t14 = (1U * t13);
    t15 = (0 + t14);
    t10 = (t11 + t15);
    t16 = *((unsigned char *)t10);
    if (t16 == 1)
        goto LAB8;

LAB9:    t9 = (unsigned char)0;

LAB10:    t1 = t9;

LAB7:    t17 = (t0 + 3648);
    t20 = (t17 + 32U);
    t21 = *((char **)t20);
    t22 = (t21 + 32U);
    t23 = *((char **)t22);
    *((unsigned char *)t23) = t1;
    xsi_driver_first_trans_fast(t17);

LAB2:    t24 = (t0 + 3372);
    *((int *)t24) = 1;

LAB1:    return;
LAB4:    goto LAB2;

LAB5:    t1 = (unsigned char)1;
    goto LAB7;

LAB8:    t17 = (t0 + 724U);
    t18 = *((char **)t17);
    t19 = *((unsigned char *)t18);
    t9 = t19;
    goto LAB10;

}

static void work_a_4049773766_3140140613_p_7(char *t0)
{
    char *t1;
    char *t2;
    unsigned char t3;
    char *t4;
    char *t5;
    char *t6;
    char *t7;
    char *t8;

LAB0:    xsi_set_current_line(69, ng0);

LAB3:    t1 = (t0 + 1076U);
    t2 = *((char **)t1);
    t3 = *((unsigned char *)t2);
    t1 = (t0 + 3684);
    t4 = (t1 + 32U);
    t5 = *((char **)t4);
    t6 = (t5 + 32U);
    t7 = *((char **)t6);
    *((unsigned char *)t7) = t3;
    xsi_driver_first_trans_delta(t1, 0U, 1, 0LL);

LAB2:    t8 = (t0 + 3380);
    *((int *)t8) = 1;

LAB1:    return;
LAB4:    goto LAB2;

}

static void work_a_4049773766_3140140613_p_8(char *t0)
{
    unsigned char t1;
    unsigned char t2;
    unsigned char t3;
    char *t4;
    char *t5;
    int t6;
    unsigned int t7;
    unsigned int t8;
    unsigned int t9;
    unsigned char t10;
    char *t11;
    char *t12;
    int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned char t17;
    unsigned char t18;
    char *t19;
    char *t20;
    unsigned char t21;
    unsigned char t22;
    char *t23;
    unsigned char t24;
    unsigned char t25;
    unsigned char t26;
    char *t27;
    int t28;
    unsigned int t29;
    unsigned int t30;
    unsigned int t31;
    unsigned char t32;
    unsigned char t33;
    char *t34;
    char *t35;
    int t36;
    unsigned int t37;
    unsigned int t38;
    unsigned int t39;
    unsigned char t40;
    unsigned char t41;
    unsigned char t42;
    char *t43;
    char *t44;
    unsigned char t45;
    char *t46;
    unsigned char t47;
    char *t48;
    char *t49;
    char *t50;
    char *t51;
    char *t52;

LAB0:    xsi_set_current_line(77, ng0);

LAB3:    t4 = (t0 + 548U);
    t5 = *((char **)t4);
    t6 = (3 - 3);
    t7 = (t6 * -1);
    t8 = (1U * t7);
    t9 = (0 + t8);
    t4 = (t5 + t9);
    t10 = *((unsigned char *)t4);
    if (t10 == 1)
        goto LAB11;

LAB12:    t3 = (unsigned char)0;

LAB13:    if (t3 == 1)
        goto LAB8;

LAB9:    t2 = (unsigned char)0;

LAB10:    if (t2 == 1)
        goto LAB5;

LAB6:    t19 = (t0 + 548U);
    t27 = *((char **)t19);
    t28 = (3 - 3);
    t29 = (t28 * -1);
    t30 = (1U * t29);
    t31 = (0 + t30);
    t19 = (t27 + t31);
    t32 = *((unsigned char *)t19);
    t33 = (!(t32));
    if (t33 == 1)
        goto LAB20;

LAB21:    t26 = (unsigned char)0;

LAB22:    if (t26 == 1)
        goto LAB17;

LAB18:    t25 = (unsigned char)0;

LAB19:    t1 = t25;

LAB7:    t43 = (t0 + 3720);
    t48 = (t43 + 32U);
    t49 = *((char **)t48);
    t50 = (t49 + 32U);
    t51 = *((char **)t50);
    *((unsigned char *)t51) = t1;
    xsi_driver_first_trans_fast_port(t43);

LAB2:    t52 = (t0 + 3388);
    *((int *)t52) = 1;

LAB1:    return;
LAB4:    goto LAB2;

LAB5:    t1 = (unsigned char)1;
    goto LAB7;

LAB8:    t19 = (t0 + 1076U);
    t20 = *((char **)t19);
    t21 = *((unsigned char *)t20);
    t22 = (!(t21));
    if (t22 == 1)
        goto LAB14;

LAB15:    t19 = (t0 + 1428U);
    t23 = *((char **)t19);
    t24 = *((unsigned char *)t23);
    t18 = t24;

LAB16:    t2 = t18;
    goto LAB10;

LAB11:    t11 = (t0 + 636U);
    t12 = *((char **)t11);
    t13 = (3 - 3);
    t14 = (t13 * -1);
    t15 = (1U * t14);
    t16 = (0 + t15);
    t11 = (t12 + t16);
    t17 = *((unsigned char *)t11);
    t3 = t17;
    goto LAB13;

LAB14:    t18 = (unsigned char)1;
    goto LAB16;

LAB17:    t43 = (t0 + 1076U);
    t44 = *((char **)t43);
    t45 = *((unsigned char *)t44);
    if (t45 == 1)
        goto LAB23;

LAB24:    t43 = (t0 + 1428U);
    t46 = *((char **)t43);
    t47 = *((unsigned char *)t46);
    t42 = t47;

LAB25:    t25 = t42;
    goto LAB19;

LAB20:    t34 = (t0 + 636U);
    t35 = *((char **)t34);
    t36 = (3 - 3);
    t37 = (t36 * -1);
    t38 = (1U * t37);
    t39 = (0 + t38);
    t34 = (t35 + t39);
    t40 = *((unsigned char *)t34);
    t41 = (!(t40));
    t26 = t41;
    goto LAB22;

LAB23:    t42 = (unsigned char)1;
    goto LAB25;

}


extern void work_a_4049773766_3140140613_init()
{
	static char *pe[] = {(void *)work_a_4049773766_3140140613_p_0,(void *)work_a_4049773766_3140140613_p_1,(void *)work_a_4049773766_3140140613_p_2,(void *)work_a_4049773766_3140140613_p_3,(void *)work_a_4049773766_3140140613_p_4,(void *)work_a_4049773766_3140140613_p_5,(void *)work_a_4049773766_3140140613_p_6,(void *)work_a_4049773766_3140140613_p_7,(void *)work_a_4049773766_3140140613_p_8};
	xsi_register_didat("work_a_4049773766_3140140613", "isim/_tmp/work/a_4049773766_3140140613.didat");
	xsi_register_executes(pe);
}