int floatx80_eq(floatx80 a, floatx80 b, float_status *status)

{



    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )

              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )

         || (    ( extractFloatx80Exp( b ) == 0x7FFF )

              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )

       ) {

        float_raise(float_flag_invalid, status);

        return 0;

    }

    return

           ( a.low == b.low )

        && (    ( a.high == b.high )

             || (    ( a.low == 0 )

                  && ( (uint16_t) ( ( a.high | b.high )<<1 ) == 0 ) )

           );



}

int floatx80_eq(floatx80 a, floatx80 b, float_status *status)

{



    if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )

              && (uint64_t) ( extractFloatx80Frac( a )<<1 ) )

         || (    ( extractFloatx80Exp( b ) == 0x7FFF )

              && (uint64_t) ( extractFloatx80Frac( b )<<1 ) )

       ) {

        float_raise(float_flag_invalid, status);

        return 0;

    }

    return

           ( a.low == b.low )

        && (    ( a.high == b.high )

             || (    ( a.low == 0 )

                  && ( (uint16_t) ( ( a.high | b.high )<<1 ) == 0 ) )

           );



}

int FUNC_0(floatx80 VAR_0, floatx80 VAR_1, float_status *VAR_2)

{



    if (    (    ( extractFloatx80Exp( VAR_0 ) == 0x7FFF )

              && (uint64_t) ( extractFloatx80Frac( VAR_0 )<<1 ) )

         || (    ( extractFloatx80Exp( VAR_1 ) == 0x7FFF )

              && (uint64_t) ( extractFloatx80Frac( VAR_1 )<<1 ) )

       ) {

        float_raise(float_flag_invalid, VAR_2);

        return 0;

    }

    return

           ( VAR_0.low == VAR_1.low )

        && (    ( VAR_0.high == VAR_1.high )

             || (    ( VAR_0.low == 0 )

                  && ( (uint16_t) ( ( VAR_0.high | VAR_1.high )<<1 ) == 0 ) )

           );



}

int FUNC_0(floatx80 VAR_0, floatx80 VAR_1, float_status *VAR_2)
{ if (    (    ( extractFloatx80Exp( VAR_0 ) == 0x7FFF )
&& (uint64_t) ( extractFloatx80Frac( VAR_0 )<<1 ) )
|| (    ( extractFloatx80Exp( VAR_1 ) == 0x7FFF )
&& (uint64_t) ( extractFloatx80Frac( VAR_1 )<<1 ) )
) { float_raise(float_flag_invalid, VAR_2); return 0; } return
( VAR_0.low == VAR_1.low )
&& (    ( VAR_0.high == VAR_1.high )
|| (    ( VAR_0.low == 0 )
&& ( (uint16_t) ( ( VAR_0.high | VAR_1.high )<<1 ) == 0 ) )
); }