void do_fctiw (void)

{

    union {

        double d;

        uint64_t i;

    } p;



    /* XXX: higher bits are not supposed to be significant.

     *     to make tests easier, return the same as a real PowerPC 750 (aka G3)

     */

    p.i = float64_to_int32(FT0, &env->fp_status);

    p.i |= 0xFFF80000ULL << 32;

    FT0 = p.d;

}

void do_fctiw (void)

{

    union {

        double d;

        uint64_t i;

    } p;



    





    p.i = float64_to_int32(FT0, &env->fp_status);

    p.i |= 0xFFF80000ULL << 32;

    FT0 = p.d;

}

    p.i = float64_to_int32(FT0, &env->fp_status);
void FUNC_0 (void)

{

    union {

        double d;

        uint64_t i;

    } VAR_0;



    





    VAR_0.i = float64_to_int32(FT0, &env->fp_status);

    VAR_0.i |= 0xFFF80000ULL << 32;

    FT0 = VAR_0.d;

}

void FUNC_0 (void)
{ union { double d; uint64_t i; } VAR_0; VAR_0.i = float64_to_int32(FT0, &env->fp_status); VAR_0.i |= 0xFFF80000ULL << 32; FT0 = VAR_0.d; }