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

{

    flag aSign, bSign;



    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;

    }

    aSign = extractFloatx80Sign( a );

    bSign = extractFloatx80Sign( b );

    if ( aSign != bSign ) {

        return

               aSign

            || (    ( ( (uint16_t) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )

                 == 0 );

    }

    return

          aSign ? le128( b.high, b.low, a.high, a.low )

        : le128( a.high, a.low, b.high, b.low );



}

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

{

    flag aSign, bSign;



    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;

    }

    aSign = extractFloatx80Sign( a );

    bSign = extractFloatx80Sign( b );

    if ( aSign != bSign ) {

        return

               aSign

            || (    ( ( (uint16_t) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )

                 == 0 );

    }

    return

          aSign ? le128( b.high, b.low, a.high, a.low )

        : le128( a.high, a.low, b.high, b.low );



}

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

{

    flag aSign, bSign;



    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;

    }

    aSign = extractFloatx80Sign( VAR_0 );

    bSign = extractFloatx80Sign( VAR_1 );

    if ( aSign != bSign ) {

        return

               aSign

            || (    ( ( (uint16_t) ( ( VAR_0.high | VAR_1.high )<<1 ) ) | VAR_0.low | VAR_1.low )

                 == 0 );

    }

    return

          aSign ? le128( VAR_1.high, VAR_1.low, VAR_0.high, VAR_0.low )

        : le128( VAR_0.high, VAR_0.low, VAR_1.high, VAR_1.low );



}

int FUNC_0(floatx80 VAR_0, floatx80 VAR_1, float_status *VAR_2)
{ flag aSign, bSign; 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; } aSign = extractFloatx80Sign( VAR_0 ); bSign = extractFloatx80Sign( VAR_1 ); if ( aSign != bSign ) { return
aSign
|| (    ( ( (uint16_t) ( ( VAR_0.high | VAR_1.high )<<1 ) ) | VAR_0.low | VAR_1.low )
== 0 ); } return
aSign ? le128( VAR_1.high, VAR_1.low, VAR_0.high, VAR_0.low )
: le128( VAR_0.high, VAR_0.low, VAR_1.high, VAR_1.low ); }