source: libcfa/src/prelude-inline.cfa @ 10b5970

//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// prelude-inline.cfa -- Create the external prelude definitions.
//
// Author           : Andrew Beach
// Created On       : Thu Dec 19  9:40:00 2024
// Last Modified By : Andrew Beach
// Created On       : Thu Dec 23 14:01:00 2024
// Update Count     : 0
//

// There are:
// 1.  No includes, because everything should be in the prelude somewhere.
// 2.  No bodies, because those are also in the prelude for inlining.
//
// In C99 inline is used to mark functions that are avalible for inlining but
// do not belong to the current translation unit, so no definition will be
// inluded. The declarations in this file say that they do belong to this
// translation unit. Uses of these features that were not inlined will refer
// to these declarations are standard library functions.

#pragma GCC visibility push(default)

forall( T & )
extern inline void ^?{}( __Destructor(T) & x );

forall( T & )
extern inline T & identity( T & i );

extern inline void  ?{}( generator$ & this );
extern inline void ^?{}( generator$ & );

forall( T & | is_generator( T ) )
extern inline T & resume( T & gen );

extern inline {
        forall( T& | is_value(T) | { T ?+=?( T &, one_t ); } )
        T ++?( T & x );

        forall( T& | is_value(T) | { T ?+=?( T &, one_t ); } )
        T ?++( T & x );

        forall( T& | is_value(T) | { T ?-=?( T &, one_t ); } )
        T --?( T & x );

        forall( T& | is_value(T) | { T ?-=?( T &, one_t ); } )
        T ?--( T & x );

        forall( T& | is_value(T) | { int ?!=?( T, zero_t ); } )
        int !?( T & x );
} // distribution


#if defined(__SIZEOF_INT128__)
extern inline void ?{}( unsigned int128 & this, unsigned long int h, unsigned long int l );
#endif // __SIZEOF_INT128__

extern inline {
        float ?\?( float x, float y );
        double ?\?( double x, double y );
        long double ?\?( long double x, long double y );
        float _Complex ?\?( float _Complex x, _Complex float y );
        double _Complex ?\?( double _Complex x, _Complex double y );
        long double _Complex ?\?( long double _Complex x, _Complex long double y );
} // distribution

extern inline {
        int ?\=?( int & x, unsigned int y );
        long int ?\=?( long int & x, unsigned long int y );
        long long int ?\=?( long long int & x, unsigned long long int y );
        unsigned int ?\=?( unsigned int & x, unsigned int y );
        unsigned long int ?\=?( unsigned long int & x, unsigned long int y );
        unsigned long long int ?\=?( unsigned long long int & x, unsigned long long int y );
} // distribution

extern inline
forall( E | Serial( E ) ) {
        E fromInt( int i );
        E succ( E e );
        E pred( E e );
        int Countof( E );
}

extern inline
forall( E | CfaEnum( E ) ) {
        int ?==?( E l, E r );
        int ?!=?( E l, E r );
        int ?<?( E l, E r );
        int ?<=?( E l, E r );
        int ?>?( E l, E r );
        int ?>=?( E l, E r );
}

extern inline
forall( E | Serial( E ) ) {
        E ?+=?( E & l, one_t );
        E ?-=?( E & l, one_t );
        E ?+=?( E & l, int i );
        E ?-=?( E & l, int i );
}