int float64_le( float64 a, float64 b STATUS_PARAM )

{

    flag aSign, bSign;



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

         || ( ( extractFloat64Exp( b ) == 0x7FF ) && extractFloat64Frac( 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_le( float64 a, float64 b STATUS_PARAM )

{

    flag aSign, bSign;



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

         || ( ( extractFloat64Exp( b ) == 0x7FF ) && extractFloat64Frac( 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 ) )

       ) {

        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 ) )
) { 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 ) ); }