static void simprim_a_4130118134_1564065396_p_14(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int64 t7;

LAB0:    t1 = (t0 + 18016);
    t2 = (t0 + 4720U);
    t3 = (t0 + 20664);
    t4 = (t0 + 3920U);
    t5 = (t0 + 8736U);
    t6 = *((char **)t5);
    t7 = *((int64 *)t6);
    ieee_p_2717149903_sub_649313994_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t4, 0U, 0U, t7);
    t5 = (t0 + 19496);
    *((int *)t5) = 1;

LAB1:    return;
}
static void simprim_a_4130118134_1564065396_p_16(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int64 t7;

LAB0:    t1 = (t0 + 18512);
    t2 = (t0 + 5040U);
    t3 = (t0 + 20792);
    t4 = (t0 + 4240U);
    t5 = (t0 + 8976U);
    t6 = *((char **)t5);
    t7 = *((int64 *)t6);
    ieee_p_2717149903_sub_649313994_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t4, 0U, 0U, t7);
    t5 = (t0 + 19528);
    *((int *)t5) = 1;

LAB1:    return;
}
Ejemplo n.º 3
0
static void simprim_a_2069711888_2810828532_p_7(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int64 t7;

LAB0:    t1 = (t0 + 12632);
    t2 = (t0 + 3280U);
    t3 = (t0 + 16488);
    t4 = (t0 + 2640U);
    t5 = (t0 + 7896U);
    t6 = *((char **)t5);
    t7 = *((int64 *)t6);
    ieee_p_2717149903_sub_649313994_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t4, 0U, 0U, t7);
    t5 = (t0 + 15736);
    *((int *)t5) = 1;

LAB1:    return;
}
static void simprim_a_1452489327_2810828532_p_6(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int64 t7;

LAB0:    t1 = (t0 + 12384);
    t2 = (t0 + 3120U);
    t3 = (t0 + 16424);
    t4 = (t0 + 2640U);
    t5 = (t0 + 7776U);
    t6 = *((char **)t5);
    t7 = *((int64 *)t6);
    ieee_p_2717149903_sub_649313994_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t4, 0U, 0U, t7);
    t5 = (t0 + 15720);
    *((int *)t5) = 1;

LAB1:    return;
}
static void simprim_a_2221529119_0084882580_p_20(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int64 t7;

LAB0:    t1 = (t0 + 25408);
    t2 = (t0 + 6960U);
    t3 = (t0 + 28800);
    t4 = (t0 + 5680U);
    t5 = (t0 + 14616U);
    t6 = *((char **)t5);
    t7 = *((int64 *)t6);
    ieee_p_2717149903_sub_649313994_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t4, 0U, 0U, t7);
    t5 = (t0 + 27232);
    *((int *)t5) = 1;

LAB1:    return;
}
static void simprim_a_2221529119_0084882580_p_16(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int64 t7;

LAB0:    t1 = (t0 + 24416);
    t2 = (t0 + 6320U);
    t3 = (t0 + 28544);
    t4 = (t0 + 5040U);
    t5 = (t0 + 14136U);
    t6 = *((char **)t5);
    t7 = *((int64 *)t6);
    ieee_p_2717149903_sub_649313994_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t4, 0U, 0U, t7);
    t5 = (t0 + 27168);
    *((int *)t5) = 1;

LAB1:    return;
}
static void simprim_a_2221529119_0084882580_p_13(char *t0)
{
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    char *t6;
    int64 t7;

LAB0:    t1 = (t0 + 23672);
    t2 = (t0 + 5840U);
    t3 = (t0 + 28352);
    t4 = (t0 + 3760U);
    t5 = (t0 + 13776U);
    t6 = *((char **)t5);
    t7 = *((int64 *)t6);
    ieee_p_2717149903_sub_649313994_2101202839(IEEE_P_2717149903, t1, t2, 0U, 0U, t3, t4, 0U, 0U, t7);
    t5 = (t0 + 27120);
    *((int *)t5) = 1;

LAB1:    return;
}