source: libcfa/prelude/builtins.c @ 9aa1317

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 9aa1317 was 0a25c34, checked in by Peter A. Buhr <pabuhr@…>, 4 years ago

remove "sized" from polymorphic intptr for pointer values, still problems with global usage

  • Property mode set to 100644
File size: 5.2 KB
RevLine 
[a5f0529]1//
[a1edafa]2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
[a5f0529]6//
7// builtins.c --
8//
[a1edafa]9// Author           : Peter A. Buhr
10// Created On       : Fri Jul 21 16:21:03 2017
[169d944]11// Last Modified By : Peter A. Buhr
[0a25c34]12// Last Modified On : Thu Nov 21 16:31:39 2019
13// Update Count     : 101
[a5f0529]14//
[a1edafa]15
[b867278]16// type that wraps a pointer and a destructor-like function - used in generating implicit destructor calls for struct members in user-defined functions
17// Note: needs to occur early, because it is used to generate destructor calls during code generation
18forall(dtype T)
19struct __Destructor {
20        T * object;
21        void (*dtor)(T *);
22};
23
24// defined destructor in the case that non-generated code wants to use __Destructor
25forall(dtype T)
26static inline void ^?{}(__Destructor(T) & x) {
27        if (x.object && x.dtor) {
28                x.dtor(x.object);
29        }
30}
31
32// easy interface into __Destructor's destructor for easy codegen purposes
33extern "C" {
34        forall(dtype T)
35        static inline void __destroy_Destructor(__Destructor(T) * dtor) {
36                ^(*dtor){};
37        }
38}
39
[a1edafa]40// exception implementation
41
[36982fc]42typedef unsigned long long __cfaabi_abi_exception_type_t;
[fa4805f]43
[7726839]44#include <limits.h>                                                                             // CHAR_BIT
[bf71cfd]45#include "../src/virtual.h"
46#include "../src/exception.h"
[a1edafa]47
[169d944]48void exit( int status, const char fmt[], ... ) __attribute__ (( format(printf, 2, 3), __nothrow__, __leaf__, __noreturn__ ));
[f79cdf8]49void abort( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
[169d944]50
[0d8266c]51// implicit increment, decrement if += defined, and implicit not if != defined
[d2887f7]52
[8a30423]53static inline {
54        forall( dtype DT | { DT & ?+=?( DT &, one_t ); } )
55        DT & ++?( DT & x ) { return x += 1; }
[d2887f7]56
[8a30423]57        forall( dtype DT | sized(DT) | { void ?{}( DT &, DT ); void ^?{}( DT & ); DT & ?+=?( DT &, one_t ); } )
58        DT & ?++( DT & x ) { DT tmp = x; x += 1; return tmp; }
[d2887f7]59
[8a30423]60        forall( dtype DT | { DT & ?-=?( DT &, one_t ); } )
61        DT & --?( DT & x ) { return x -= 1; }
[d2887f7]62
[8a30423]63        forall( dtype DT | sized(DT) | { void ?{}( DT &, DT ); void ^?{}( DT & ); DT & ?-=?( DT &, one_t ); } )
64        DT & ?--( DT & x ) { DT tmp = x; x -= 1; return tmp; }
[0d8266c]65
66        forall( dtype DT | { int ?!=?( const DT &, zero_t ); } )
67        int !?( const DT & x ) { return !( x != 0 ); }
[8a30423]68} // distribution
[7579ac0]69
70// universal typed pointer constant
[0a25c34]71static inline forall( dtype DT ) DT * intptr( uintptr_t addr ) { return (DT *)addr; }
[a1edafa]72
73// exponentiation operator implementation
74
75extern "C" {
76        float powf( float x, float y );
77        double pow( double x, double y );
78        long double powl( long double x, long double y );
79        float _Complex cpowf( float _Complex x, _Complex float z );
80        double _Complex cpow( double _Complex x, _Complex double z );
81        long double _Complex cpowl( long double _Complex x, _Complex long double z );
82} // extern "C"
83
[8a30423]84static inline {
85        float ?\?( float x, float y ) { return powf( x, y ); }
86        double ?\?( double x, double y ) { return pow( x, y ); }
87        long double ?\?( long double x, long double y ) { return powl( x, y ); }
88        float _Complex ?\?( float _Complex x, _Complex float y ) { return cpowf(x, y ); }
89        double _Complex ?\?( double _Complex x, _Complex double y ) { return cpow( x, y ); }
90        long double _Complex ?\?( long double _Complex x, _Complex long double y ) { return cpowl( x, y ); }
91} // distribution
[a1edafa]92
[7726839]93#define __CFA_BASE_COMP_1__() if ( ep == 1 ) return 1
94#define __CFA_BASE_COMP_2__() if ( ep == 2 ) return ep << (y - 1)
95#define __CFA_EXP_OVERFLOW__() if ( y >= sizeof(y) * CHAR_BIT ) return 0
96
[8dbfb7e]97#define __CFA_EXP__() \
[8a30423]98        if ( y == 0 ) return 1;                                                         /* convention */ \
[7726839]99        __CFA_BASE_COMP_1__();                                                          /* base case */ \
100        __CFA_BASE_COMP_2__();                                                          /* special case, positive shifting for integral types */ \
101        __CFA_EXP_OVERFLOW__();                                                         /* immediate overflow, negative exponent > 2^size-1 */ \
[8dbfb7e]102        typeof(ep) op = 1;                                                                      /* accumulate odd product */ \
103        for ( ; y > 1; y >>= 1 ) {                                                      /* squaring exponentiation, O(log2 y) */ \
104                if ( (y & 1) == 1 ) op = op * ep;                               /* odd ? */ \
105                ep = ep * ep; \
106        } \
107        return ep * op
108
[8a30423]109static inline {
110        long int ?\?( int ep, unsigned int y ) { __CFA_EXP__(); }
111        long int ?\?( long int ep, unsigned long int y ) { __CFA_EXP__(); }
112        // unsigned computation may be faster and larger
113        unsigned long int ?\?( unsigned int ep, unsigned int y ) { __CFA_EXP__(); }
114        unsigned long int ?\?( unsigned long int ep, unsigned long int y ) { __CFA_EXP__(); }
115} // distribution
[a1edafa]116
[8dbfb7e]117#undef __CFA_BASE_COMP_1__
118#undef __CFA_BASE_COMP_2__
119#undef __CFA_EXP_OVERFLOW__
120#define __CFA_BASE_COMP_1__()
121#define __CFA_BASE_COMP_2__()
122#define __CFA_EXP_OVERFLOW__()
[e472d54]123
[8a30423]124static inline forall( otype OT | { void ?{}( OT & this, one_t ); OT ?*?( OT, OT ); } ) {
125        OT ?\?( OT ep, unsigned int y ) { __CFA_EXP__(); }
126        OT ?\?( OT ep, unsigned long int y ) { __CFA_EXP__(); }
127} // distribution
[8dbfb7e]128
129#undef __CFA_BASE_COMP_1__
130#undef __CFA_BASE_COMP_2__
131#undef __CFA_EXP_OVERFLOW__
[a1edafa]132
[8a30423]133static inline {
134        long int ?\=?( long int & x, unsigned long int y ) { x = x \ y; return x; }
135        unsigned long int ?\=?( unsigned long int & x, unsigned long int y ) { x = x \ y; return x; }
136        int ?\=?( int & x, unsigned long int y ) { x = x \ y; return x; }
137        unsigned int ?\=?( unsigned int & x, unsigned long int y ) { x = x \ y; return x; }
138} // distribution
[a1edafa]139
140// Local Variables: //
141// mode: c //
142// tab-width: 4 //
143// End: //
Note: See TracBrowser for help on using the repository browser.