Index: fusl/include/tgmath.h |
diff --git a/fusl/include/tgmath.h b/fusl/include/tgmath.h |
new file mode 100644 |
index 0000000000000000000000000000000000000000..e41ccac9ec54cc038ed4b4b33bc64544cb396606 |
--- /dev/null |
+++ b/fusl/include/tgmath.h |
@@ -0,0 +1,270 @@ |
+#ifndef _TGMATH_H |
+#define _TGMATH_H |
+ |
+/* |
+the return types are only correct with gcc (__GNUC__) |
+otherwise they are long double or long double complex |
+ |
+the long double version of a function is never chosen when |
+sizeof(double) == sizeof(long double) |
+(but the return type is set correctly with gcc) |
+*/ |
+ |
+#include <math.h> |
+#include <complex.h> |
+ |
+#define __IS_FP(x) (sizeof((x)+1ULL) == sizeof((x)+1.0f)) |
+#define __IS_CX(x) (__IS_FP(x) && sizeof(x) == sizeof((x)+I)) |
+#define __IS_REAL(x) (__IS_FP(x) && 2*sizeof(x) == sizeof((x)+I)) |
+ |
+#define __FLT(x) (__IS_REAL(x) && sizeof(x) == sizeof(float)) |
+#define __LDBL(x) (__IS_REAL(x) && sizeof(x) == sizeof(long double) && sizeof(long double) != sizeof(double)) |
+ |
+#define __FLTCX(x) (__IS_CX(x) && sizeof(x) == sizeof(float complex)) |
+#define __DBLCX(x) (__IS_CX(x) && sizeof(x) == sizeof(double complex)) |
+#define __LDBLCX(x) (__IS_CX(x) && sizeof(x) == sizeof(long double complex) && sizeof(long double) != sizeof(double)) |
+ |
+/* return type */ |
+ |
+#ifdef __GNUC__ |
+/* |
+the result must be casted to the right type |
+(otherwise the result type is determined by the conversion |
+rules applied to all the function return types so it is long |
+double or long double complex except for integral functions) |
+ |
+this cannot be done in c99, so the typeof gcc extension is |
+used and that the type of ?: depends on wether an operand is |
+a null pointer constant or not |
+(in c11 _Generic can be used) |
+ |
+the c arguments below must be integer constant expressions |
+so they can be in null pointer constants |
+(__IS_FP above was carefully chosen this way) |
+*/ |
+/* if c then t else void */ |
+#define __type1(c,t) __typeof__(*(0?(t*)0:(void*)!(c))) |
+/* if c then t1 else t2 */ |
+#define __type2(c,t1,t2) __typeof__(*(0?(__type1(c,t1)*)0:(__type1(!(c),t2)*)0)) |
+/* cast to double when x is integral, otherwise use typeof(x) */ |
+#define __RETCAST(x) ( \ |
+ __type2(__IS_FP(x), __typeof__(x), double)) |
+/* 2 args case, should work for complex types (cpow) */ |
+#define __RETCAST_2(x, y) ( \ |
+ __type2(__IS_FP(x) && __IS_FP(y), \ |
+ __typeof__((x)+(y)), \ |
+ __typeof__((x)+(y)+1.0))) |
+/* 3 args case (fma only) */ |
+#define __RETCAST_3(x, y, z) ( \ |
+ __type2(__IS_FP(x) && __IS_FP(y) && __IS_FP(z), \ |
+ __typeof__((x)+(y)+(z)), \ |
+ __typeof__((x)+(y)+(z)+1.0))) |
+/* drop complex from the type of x */ |
+/* TODO: wrong when sizeof(long double)==sizeof(double) */ |
+#define __RETCAST_REAL(x) ( \ |
+ __type2(__IS_FP(x) && sizeof((x)+I) == sizeof(float complex), float, \ |
+ __type2(sizeof((x)+1.0+I) == sizeof(double complex), double, \ |
+ long double))) |
+/* add complex to the type of x */ |
+#define __RETCAST_CX(x) (__typeof__(__RETCAST(x)0+I)) |
+#else |
+#define __RETCAST(x) |
+#define __RETCAST_2(x, y) |
+#define __RETCAST_3(x, y, z) |
+#define __RETCAST_REAL(x) |
+#define __RETCAST_CX(x) |
+#endif |
+ |
+/* function selection */ |
+ |
+#define __tg_real_nocast(fun, x) ( \ |
+ __FLT(x) ? fun ## f (x) : \ |
+ __LDBL(x) ? fun ## l (x) : \ |
+ fun(x) ) |
+ |
+#define __tg_real(fun, x) (__RETCAST(x)__tg_real_nocast(fun, x)) |
+ |
+#define __tg_real_2_1(fun, x, y) (__RETCAST(x)( \ |
+ __FLT(x) ? fun ## f (x, y) : \ |
+ __LDBL(x) ? fun ## l (x, y) : \ |
+ fun(x, y) )) |
+ |
+#define __tg_real_2(fun, x, y) (__RETCAST_2(x, y)( \ |
+ __FLT(x) && __FLT(y) ? fun ## f (x, y) : \ |
+ __LDBL((x)+(y)) ? fun ## l (x, y) : \ |
+ fun(x, y) )) |
+ |
+#define __tg_complex(fun, x) (__RETCAST_CX(x)( \ |
+ __FLTCX((x)+I) && __IS_FP(x) ? fun ## f (x) : \ |
+ __LDBLCX((x)+I) ? fun ## l (x) : \ |
+ fun(x) )) |
+ |
+#define __tg_complex_retreal(fun, x) (__RETCAST_REAL(x)( \ |
+ __FLTCX((x)+I) && __IS_FP(x) ? fun ## f (x) : \ |
+ __LDBLCX((x)+I) ? fun ## l (x) : \ |
+ fun(x) )) |
+ |
+#define __tg_real_complex(fun, x) (__RETCAST(x)( \ |
+ __FLTCX(x) ? c ## fun ## f (x) : \ |
+ __DBLCX(x) ? c ## fun (x) : \ |
+ __LDBLCX(x) ? c ## fun ## l (x) : \ |
+ __FLT(x) ? fun ## f (x) : \ |
+ __LDBL(x) ? fun ## l (x) : \ |
+ fun(x) )) |
+ |
+/* special cases */ |
+ |
+#define __tg_real_remquo(x, y, z) (__RETCAST_2(x, y)( \ |
+ __FLT(x) && __FLT(y) ? remquof(x, y, z) : \ |
+ __LDBL((x)+(y)) ? remquol(x, y, z) : \ |
+ remquo(x, y, z) )) |
+ |
+#define __tg_real_fma(x, y, z) (__RETCAST_3(x, y, z)( \ |
+ __FLT(x) && __FLT(y) && __FLT(z) ? fmaf(x, y, z) : \ |
+ __LDBL((x)+(y)+(z)) ? fmal(x, y, z) : \ |
+ fma(x, y, z) )) |
+ |
+#define __tg_real_complex_pow(x, y) (__RETCAST_2(x, y)( \ |
+ __FLTCX((x)+(y)) && __IS_FP(x) && __IS_FP(y) ? cpowf(x, y) : \ |
+ __FLTCX((x)+(y)) ? cpow(x, y) : \ |
+ __DBLCX((x)+(y)) ? cpow(x, y) : \ |
+ __LDBLCX((x)+(y)) ? cpowl(x, y) : \ |
+ __FLT(x) && __FLT(y) ? powf(x, y) : \ |
+ __LDBL((x)+(y)) ? powl(x, y) : \ |
+ pow(x, y) )) |
+ |
+#define __tg_real_complex_fabs(x) (__RETCAST_REAL(x)( \ |
+ __FLTCX(x) ? cabsf(x) : \ |
+ __DBLCX(x) ? cabs(x) : \ |
+ __LDBLCX(x) ? cabsl(x) : \ |
+ __FLT(x) ? fabsf(x) : \ |
+ __LDBL(x) ? fabsl(x) : \ |
+ fabs(x) )) |
+ |
+/* suppress any macros in math.h or complex.h */ |
+ |
+#undef acos |
+#undef acosh |
+#undef asin |
+#undef asinh |
+#undef atan |
+#undef atan2 |
+#undef atanh |
+#undef carg |
+#undef cbrt |
+#undef ceil |
+#undef cimag |
+#undef conj |
+#undef copysign |
+#undef cos |
+#undef cosh |
+#undef cproj |
+#undef creal |
+#undef erf |
+#undef erfc |
+#undef exp |
+#undef exp2 |
+#undef expm1 |
+#undef fabs |
+#undef fdim |
+#undef floor |
+#undef fma |
+#undef fmax |
+#undef fmin |
+#undef fmod |
+#undef frexp |
+#undef hypot |
+#undef ilogb |
+#undef ldexp |
+#undef lgamma |
+#undef llrint |
+#undef llround |
+#undef log |
+#undef log10 |
+#undef log1p |
+#undef log2 |
+#undef logb |
+#undef lrint |
+#undef lround |
+#undef nearbyint |
+#undef nextafter |
+#undef nexttoward |
+#undef pow |
+#undef remainder |
+#undef remquo |
+#undef rint |
+#undef round |
+#undef scalbln |
+#undef scalbn |
+#undef sin |
+#undef sinh |
+#undef sqrt |
+#undef tan |
+#undef tanh |
+#undef tgamma |
+#undef trunc |
+ |
+/* tg functions */ |
+ |
+#define acos(x) __tg_real_complex(acos, (x)) |
+#define acosh(x) __tg_real_complex(acosh, (x)) |
+#define asin(x) __tg_real_complex(asin, (x)) |
+#define asinh(x) __tg_real_complex(asinh, (x)) |
+#define atan(x) __tg_real_complex(atan, (x)) |
+#define atan2(x,y) __tg_real_2(atan2, (x), (y)) |
+#define atanh(x) __tg_real_complex(atanh, (x)) |
+#define carg(x) __tg_complex_retreal(carg, (x)) |
+#define cbrt(x) __tg_real(cbrt, (x)) |
+#define ceil(x) __tg_real(ceil, (x)) |
+#define cimag(x) __tg_complex_retreal(cimag, (x)) |
+#define conj(x) __tg_complex(conj, (x)) |
+#define copysign(x,y) __tg_real_2(copysign, (x), (y)) |
+#define cos(x) __tg_real_complex(cos, (x)) |
+#define cosh(x) __tg_real_complex(cosh, (x)) |
+#define cproj(x) __tg_complex(cproj, (x)) |
+#define creal(x) __tg_complex_retreal(creal, (x)) |
+#define erf(x) __tg_real(erf, (x)) |
+#define erfc(x) __tg_real(erfc, (x)) |
+#define exp(x) __tg_real_complex(exp, (x)) |
+#define exp2(x) __tg_real(exp2, (x)) |
+#define expm1(x) __tg_real(expm1, (x)) |
+#define fabs(x) __tg_real_complex_fabs(x) |
+#define fdim(x,y) __tg_real_2(fdim, (x), (y)) |
+#define floor(x) __tg_real(floor, (x)) |
+#define fma(x,y,z) __tg_real_fma((x), (y), (z)) |
+#define fmax(x,y) __tg_real_2(fmax, (x), (y)) |
+#define fmin(x,y) __tg_real_2(fmin, (x), (y)) |
+#define fmod(x,y) __tg_real_2(fmod, (x), (y)) |
+#define frexp(x,y) __tg_real_2_1(frexp, (x), (y)) |
+#define hypot(x,y) __tg_real_2(hypot, (x), (y)) |
+#define ilogb(x) __tg_real_nocast(ilogb, (x)) |
+#define ldexp(x,y) __tg_real_2_1(ldexp, (x), (y)) |
+#define lgamma(x) __tg_real(lgamma, (x)) |
+#define llrint(x) __tg_real_nocast(llrint, (x)) |
+#define llround(x) __tg_real_nocast(llround, (x)) |
+#define log(x) __tg_real_complex(log, (x)) |
+#define log10(x) __tg_real(log10, (x)) |
+#define log1p(x) __tg_real(log1p, (x)) |
+#define log2(x) __tg_real(log2, (x)) |
+#define logb(x) __tg_real(logb, (x)) |
+#define lrint(x) __tg_real_nocast(lrint, (x)) |
+#define lround(x) __tg_real_nocast(lround, (x)) |
+#define nearbyint(x) __tg_real(nearbyint, (x)) |
+#define nextafter(x,y) __tg_real_2(nextafter, (x), (y)) |
+#define nexttoward(x,y) __tg_real_2(nexttoward, (x), (y)) |
+#define pow(x,y) __tg_real_complex_pow((x), (y)) |
+#define remainder(x,y) __tg_real_2(remainder, (x), (y)) |
+#define remquo(x,y,z) __tg_real_remquo((x), (y), (z)) |
+#define rint(x) __tg_real(rint, (x)) |
+#define round(x) __tg_real(round, (x)) |
+#define scalbln(x,y) __tg_real_2_1(scalbln, (x), (y)) |
+#define scalbn(x,y) __tg_real_2_1(scalbn, (x), (y)) |
+#define sin(x) __tg_real_complex(sin, (x)) |
+#define sinh(x) __tg_real_complex(sinh, (x)) |
+#define sqrt(x) __tg_real_complex(sqrt, (x)) |
+#define tan(x) __tg_real_complex(tan, (x)) |
+#define tanh(x) __tg_real_complex(tanh, (x)) |
+#define tgamma(x) __tg_real(tgamma, (x)) |
+#define trunc(x) __tg_real(trunc, (x)) |
+ |
+#endif |