int float64_lt_quiet( float64 a, float64 b STATUS_PARAM )

{

    flag aSign, bSign;



    if (    ( ( extractFloat64Exp( a ) == 0x7FF ) && extractFloat64Frac( a ) )

         || ( ( extractFloat64Exp( b ) == 0x7FF ) && extractFloat64Frac( b ) )

       ) {

        if ( float64_is_signaling_nan( a ) || float64_is_signaling_nan( b ) ) {

            float_raise( float_flag_invalid STATUS_VAR);

        }

        return 0;

    }

    aSign = extractFloat64Sign( a );

    bSign = extractFloat64Sign( b );

    if ( aSign != bSign ) return aSign && ( (bits64) ( ( a | b )<<1 ) != 0 );

    return ( a != b ) && ( aSign ^ ( a < b ) );



}

int float64_lt_quiet( float64 a, float64 b STATUS_PARAM )

{

    flag aSign, bSign;



    if (    ( ( extractFloat64Exp( a ) == 0x7FF ) && extractFloat64Frac( a ) )

         || ( ( extractFloat64Exp( b ) == 0x7FF ) && extractFloat64Frac( b ) )

       ) {

        if ( float64_is_signaling_nan( a ) || float64_is_signaling_nan( b ) ) {

            float_raise( float_flag_invalid STATUS_VAR);

        }

        return 0;

    }

    aSign = extractFloat64Sign( a );

    bSign = extractFloat64Sign( b );

    if ( aSign != bSign ) return aSign && ( (bits64) ( ( a | b )<<1 ) != 0 );

    return ( a != b ) && ( aSign ^ ( a < b ) );



}

int FUNC_0( float64 VAR_0, float64 VAR_1 STATUS_PARAM )

{

    flag aSign, bSign;



    if (    ( ( extractFloat64Exp( VAR_0 ) == 0x7FF ) && extractFloat64Frac( VAR_0 ) )

         || ( ( extractFloat64Exp( VAR_1 ) == 0x7FF ) && extractFloat64Frac( VAR_1 ) )

       ) {

        if ( float64_is_signaling_nan( VAR_0 ) || float64_is_signaling_nan( VAR_1 ) ) {

            float_raise( float_flag_invalid STATUS_VAR);

        }

        return 0;

    }

    aSign = extractFloat64Sign( VAR_0 );

    bSign = extractFloat64Sign( VAR_1 );

    if ( aSign != bSign ) return aSign && ( (bits64) ( ( VAR_0 | VAR_1 )<<1 ) != 0 );

    return ( VAR_0 != VAR_1 ) && ( aSign ^ ( VAR_0 < VAR_1 ) );



}

int FUNC_0( float64 VAR_0, float64 VAR_1 STATUS_PARAM )
{ flag aSign, bSign; if (    ( ( extractFloat64Exp( VAR_0 ) == 0x7FF ) && extractFloat64Frac( VAR_0 ) )
|| ( ( extractFloat64Exp( VAR_1 ) == 0x7FF ) && extractFloat64Frac( VAR_1 ) )
) { if ( float64_is_signaling_nan( VAR_0 ) || float64_is_signaling_nan( VAR_1 ) ) { float_raise( float_flag_invalid STATUS_VAR); } return 0; } aSign = extractFloat64Sign( VAR_0 ); bSign = extractFloat64Sign( VAR_1 ); if ( aSign != bSign ) return aSign && ( (bits64) ( ( VAR_0 | VAR_1 )<<1 ) != 0 ); return ( VAR_0 != VAR_1 ) && ( aSign ^ ( VAR_0 < VAR_1 ) ); }