1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
|
/***********************************************************************/
/* */
/* Applied Type System */
/* */
/***********************************************************************/
/* (*
** ATS/Postiats - Unleashing the Potential of Types!
** Copyright (C) 2010-2015 Hongwei Xi, ATS Trustful Software, Inc.
** All rights reserved
**
** ATS is free software; you can redistribute it and/or modify it under
** the terms of the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
** Free Software Foundation; either version 3, or (at your option) any
** later version.
**
** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
** WARRANTY; without even the implied warranty of MERCHANTABILITY or
** FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
** for more details.
**
** You should have received a copy of the GNU General Public License
** along with ATS; see the file COPYING. If not, please write to the
** Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
** 02110-1301, USA.
*) */
/* ****** ****** */
/*
(* Author: Hongwei Xi *)
(* Authoremail: hwxi AT cs DOT bu DOT edu *)
(* Start time: March, 2013 *)
*/
/* ****** ****** */
#ifndef ATS2CPP_LIBATS_LIBC_CATS_MATH
#define ATS2CPP_LIBATS_LIBC_CATS_MATH
/* ****** ****** */
#include <math.h>
/* ****** ****** */
#define atslib_libats_libc_isfinite_float isfinite
#define atslib_libats_libc_isfinite_double isfinite
#define atslib_libats_libc_isfinite_ldouble isfinite
/* ****** ****** */
#define atslib_libats_libc_isnormal_float isnormal
#define atslib_libats_libc_isnormal_double isnormal
#define atslib_libats_libc_isnormal_ldouble isnormal
/* ****** ****** */
#define atslib_libats_libc_isinf_float isinf
#define atslib_libats_libc_isinf_double isinf
#define atslib_libats_libc_isinf_ldouble isinf
/* ****** ****** */
#define atslib_libats_libc_isnan_float isnan
#define atslib_libats_libc_isnan_double isnan
#define atslib_libats_libc_isnan_ldouble isnan
/* ****** ****** */
#define atslib_libats_libc_fpclassify_float fpclassify
#define atslib_libats_libc_fpclassify_double fpclassify
#define atslib_libats_libc_fpclassify_ldouble fpclassify
/* ****** ****** */
#define atslib_libats_libc_ceil_float ceilf
#define atslib_libats_libc_ceil_double ceil
#define atslib_libats_libc_ceil_ldouble ceill
/* ****** ****** */
#define atslib_libats_libc_floor_float floorf
#define atslib_libats_libc_floor_double floor
#define atslib_libats_libc_floor_ldouble floorl
/* ****** ****** */
#define atslib_libats_libc_round_float roundf
#define atslib_libats_libc_round_double round
#define atslib_libats_libc_round_ldouble roundl
/* ****** ****** */
#define atslib_libats_libc_trunc_float truncf
#define atslib_libats_libc_trunc_double trunc
#define atslib_libats_libc_trunc_ldouble truncl
/* ****** ****** */
#define atslib_libats_libc_fmod_float fmodf
#define atslib_libats_libc_fmod_double fmod
#define atslib_libats_libc_fmod_ldouble fmodl
/* ****** ****** */
#define atslib_libats_libc_fmax_float fmaxf
#define atslib_libats_libc_fmax_double fmax
#define atslib_libats_libc_fmax_ldouble fmaxl
/* ****** ****** */
#define atslib_libats_libc_fmin_float fminf
#define atslib_libats_libc_fmin_double fmin
#define atslib_libats_libc_fmin_ldouble fminl
/* ****** ****** */
#define atslib_libats_libc_fdim_float fdimf
#define atslib_libats_libc_fdim_double fdim
#define atslib_libats_libc_fdim_ldouble fdiml
/* ****** ****** */
#define atslib_libats_libc_fma_float fmaf
#define atslib_libats_libc_fma_double fma
#define atslib_libats_libc_fma_ldouble fmal
/* ****** ****** */
#define atslib_libats_libc_sqrt_float sqrtf
#define atslib_libats_libc_sqrt_double sqrt
#define atslib_libats_libc_sqrt_ldouble sqrtl
/* ****** ****** */
#define atslib_libats_libc_cbrt_float cbrtf
#define atslib_libats_libc_cbrt_double cbrt
#define atslib_libats_libc_cbrt_ldouble cbrtl
/* ****** ****** */
#define atslib_libats_libc_pow_float powf
#define atslib_libats_libc_pow_double pow
#define atslib_libats_libc_pow_ldouble powl
/* ****** ****** */
#define atslib_libats_libc_exp_float expf
#define atslib_libats_libc_exp_double exp
#define atslib_libats_libc_exp_ldouble expl
/* ****** ****** */
//
#define atslib_libats_libc_log_float logf
#define atslib_libats_libc_log_double log
#define atslib_libats_libc_log_ldouble logl
//
#define atslib_libats_libc_log10_float log10f
#define atslib_libats_libc_log10_double log10
#define atslib_libats_libc_log10_ldouble log10l
//
/* ****** ****** */
//
#define atslib_libats_libc_sin_float sinf
#define atslib_libats_libc_sin_double sin
#define atslib_libats_libc_sin_ldouble sinl
//
#define atslib_libats_libc_cos_float cosf
#define atslib_libats_libc_cos_double cos
#define atslib_libats_libc_cos_ldouble cosl
//
#define atslib_libats_libc_tan_float tanf
#define atslib_libats_libc_tan_double tan
#define atslib_libats_libc_tan_ldouble tanl
//
/* ****** ****** */
//
#define atslib_libats_libc_asin_float asinf
#define atslib_libats_libc_asin_double asin
#define atslib_libats_libc_asin_ldouble asinl
//
#define atslib_libats_libc_acos_float acosf
#define atslib_libats_libc_acos_double acos
#define atslib_libats_libc_acos_ldouble cosl
//
#define atslib_libats_libc_atan_float atanf
#define atslib_libats_libc_atan_double atan
#define atslib_libats_libc_atan_ldouble atanl
//
#define atslib_libats_libc_atan2_float atan2f
#define atslib_libats_libc_atan2_double atan2
#define atslib_libats_libc_atan2_ldouble atan2l
//
/* ****** ****** */
//
#define atslib_libats_libc_sinh_float sinhf
#define atslib_libats_libc_sinh_double sinh
#define atslib_libats_libc_sinh_ldouble sinhl
//
#define atslib_libats_libc_cosh_float coshf
#define atslib_libats_libc_cosh_double cosh
#define atslib_libats_libc_cosh_ldouble coshl
//
#define atslib_libats_libc_tanh_float tanhf
#define atslib_libats_libc_tanh_double tanh
#define atslib_libats_libc_tanh_ldouble tanhl
//
/* ****** ****** */
#define atslib_libats_libc_asinh_float asinhf
#define atslib_libats_libc_asinh_double asinh
#define atslib_libats_libc_asinh_ldouble asinhl
//
#define atslib_libats_libc_acosh_float acoshf
#define atslib_libats_libc_acosh_double acosh
#define atslib_libats_libc_acosh_ldouble acoshl
//
#define atslib_libats_libc_atanh_float atanhf
#define atslib_libats_libc_atanh_double atanh
#define atslib_libats_libc_atanh_ldouble atanhl
//
/* ****** ****** */
#endif // ifndef ATS2CPP_LIBATS_LIBC_CATS_MATH
/* ****** ****** */
/* end of [math.cats] */
|
