source: src/prelude/builtins.c @ a1edafa

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since a1edafa was a1edafa, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

move exponential implementation from math to builtin

  • Property mode set to 100644
File size: 3.6 KB
Line 
1//
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.
6//
7// builtins.c --
8//
9// Author           : Peter A. Buhr
10// Created On       : Fri Jul 21 16:21:03 2017
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Fri Jul 21 17:01:54 2017
13// Update Count     : 11
14//
15
16// exception implementation
17
18typedef unsigned long long __cfaabi_exception_type_t;
19
20#include "../libcfa/exception.h"
21
22// exponentiation operator implementation
23
24extern "C" {
25        float powf( float x, float y );
26        double pow( double x, double y );
27        long double powl( long double x, long double y );
28        float _Complex cpowf( float _Complex x, _Complex float z );
29        double _Complex cpow( double _Complex x, _Complex double z );
30        long double _Complex cpowl( long double _Complex x, _Complex long double z );
31} // extern "C"
32
33static inline float ?\?( float x, float y ) { return powf( x, y ); }
34static inline double ?\?( double x, double y ) { return pow( x, y ); }
35static inline long double ?\?( long double x, long double y ) { return powl( x, y ); }
36static inline float _Complex ?\?( float _Complex x, _Complex float y ) { return cpowf(x, y ); }
37static inline double _Complex ?\?( double _Complex x, _Complex double y ) { return cpow( x, y ); }
38static inline long double _Complex ?\?( long double _Complex x, _Complex long double y ) { return cpowl( x, y ); }
39
40static inline long int ?\?( long int pe, unsigned long y ) { // disallow negative exponent
41        if ( y == 0 ) return 1;                                                         // base case
42    if ( pe == 2 ) return pe << (y - 1);                                // special case, positive shifting only
43    typeof( pe ) po = 1;                                                                // accumulate odd product
44    for ( ; y > 1; y >>= 1 ) {                                                  // squaring exponentiation, O(log2 y)
45                if ( (y & 1) == 1 ) po *= pe;                                   // odd ?
46                pe *= pe;
47        } // while
48    return pe * po;
49} // ?\?
50
51// FIX ME, cannot resolve the "T po = 1".
52
53// static inline forall( otype T | { void ?{}( T * this, one_t ); T ?*?( T, T ); } )
54// T ?\?( T pe, unsigned long y ) {
55//     if ( y == 0 ) return 1;
56//     T po = 1;
57//     for ( ; y > 1; y >>= 1 ) {                                                       // squaring exponentiation, O(log2 y)
58//              if ( (y & 1) == 1 ) po = po * pe;                               // odd ?
59//              pe = pe * pe;
60//     } // for
61//     return pe * po;
62// } // ?\?
63
64// unsigned computation may be faster and larger
65static inline unsigned long int ?\?( unsigned long int pe, unsigned long y ) { // disallow negative exponent
66        if ( y == 0 ) return 1;                                                         // base case
67    if ( pe == 2 ) return pe << (y - 1);                                // special case, positive shifting only
68    typeof( pe ) po = 1;                                                                // accumulate odd product
69    for ( ; y > 1; y >>= 1 ) {                                                  // squaring exponentiation, O(log2 y)
70                if ( (y & 1) == 1 ) po *= pe;                                   // odd ?
71                pe *= pe;
72        } // while
73    return pe * po;
74} // ?\?
75
76static inline double ?\?( long int x, signed long y ) { // allow negative exponent
77    if ( y >=  0 ) return (double)(x \ (unsigned long int)y);
78    else return 1.0 / x \ (unsigned int)(-y);
79} // ?\?
80
81static inline forall( otype T | { void ?{}( T * this, one_t ); T ?*?( T, T ); double ?/?( double, T ); } )
82double ?\?( T x, signed long y ) {
83    if ( y >=  0 ) return (double)(x \ (unsigned long int)y);
84    else return 1.0 / x \ (unsigned int)(-y);
85} // ?\?
86
87static inline long int ?\=?( long int * x, unsigned long y ) { *x = *x \ y; return *x; }
88static inline long int ?\=?( unsigned long int * x, unsigned long y ) { *x = *x \ y; return *x; }
89static inline int ?\=?( int * x, unsigned long y ) { *x = *x \ y; return *x; }
90static inline int ?\=?( unsigned int * x, unsigned long y ) { *x = *x \ y; return *x; }
91
92// Local Variables: //
93// mode: c //
94// tab-width: 4 //
95// End: //
Note: See TracBrowser for help on using the repository browser.