cannam@95
|
1 /*
|
cannam@95
|
2 * Copyright (c) 2003, 2007-11 Matteo Frigo
|
cannam@95
|
3 * Copyright (c) 2003, 2007-11 Massachusetts Institute of Technology
|
cannam@95
|
4 *
|
cannam@95
|
5 * This program is free software; you can redistribute it and/or modify
|
cannam@95
|
6 * it under the terms of the GNU General Public License as published by
|
cannam@95
|
7 * the Free Software Foundation; either version 2 of the License, or
|
cannam@95
|
8 * (at your option) any later version.
|
cannam@95
|
9 *
|
cannam@95
|
10 * This program is distributed in the hope that it will be useful,
|
cannam@95
|
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
cannam@95
|
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
cannam@95
|
13 * GNU General Public License for more details.
|
cannam@95
|
14 *
|
cannam@95
|
15 * You should have received a copy of the GNU General Public License
|
cannam@95
|
16 * along with this program; if not, write to the Free Software
|
cannam@95
|
17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
cannam@95
|
18 *
|
cannam@95
|
19 */
|
cannam@95
|
20
|
cannam@95
|
21
|
cannam@95
|
22 /* trigonometric functions */
|
cannam@95
|
23 #include "ifftw.h"
|
cannam@95
|
24 #include <math.h>
|
cannam@95
|
25
|
cannam@95
|
26 #if defined(TRIGREAL_IS_LONG_DOUBLE)
|
cannam@95
|
27 # define COS cosl
|
cannam@95
|
28 # define SIN sinl
|
cannam@95
|
29 # define KTRIG(x) (x##L)
|
cannam@95
|
30 # ifndef HAVE_DECL_SINL
|
cannam@95
|
31 extern long double sinl(long double x);
|
cannam@95
|
32 # endif
|
cannam@95
|
33 # ifndef HAVE_DECL_COSL
|
cannam@95
|
34 extern long double cosl(long double x);
|
cannam@95
|
35 # endif
|
cannam@95
|
36 #elif defined(TRIGREAL_IS_QUAD)
|
cannam@95
|
37 # define COS cosq
|
cannam@95
|
38 # define SIN sinq
|
cannam@95
|
39 # define KTRIG(x) (x##Q)
|
cannam@95
|
40 extern __float128 sinq(__float128 x);
|
cannam@95
|
41 extern __float128 cosq(__float128 x);
|
cannam@95
|
42 #else
|
cannam@95
|
43 # define COS cos
|
cannam@95
|
44 # define SIN sin
|
cannam@95
|
45 # define KTRIG(x) (x)
|
cannam@95
|
46 #endif
|
cannam@95
|
47
|
cannam@95
|
48 static const trigreal K2PI =
|
cannam@95
|
49 KTRIG(6.2831853071795864769252867665590057683943388);
|
cannam@95
|
50 #define by2pi(m, n) ((K2PI * (m)) / (n))
|
cannam@95
|
51
|
cannam@95
|
52 /*
|
cannam@95
|
53 * Improve accuracy by reducing x to range [0..1/8]
|
cannam@95
|
54 * before multiplication by 2 * PI.
|
cannam@95
|
55 */
|
cannam@95
|
56
|
cannam@95
|
57 static void real_cexp(INT m, INT n, trigreal *out)
|
cannam@95
|
58 {
|
cannam@95
|
59 trigreal theta, c, s, t;
|
cannam@95
|
60 unsigned octant = 0;
|
cannam@95
|
61 INT quarter_n = n;
|
cannam@95
|
62
|
cannam@95
|
63 n += n; n += n;
|
cannam@95
|
64 m += m; m += m;
|
cannam@95
|
65
|
cannam@95
|
66 if (m < 0) m += n;
|
cannam@95
|
67 if (m > n - m) { m = n - m; octant |= 4; }
|
cannam@95
|
68 if (m - quarter_n > 0) { m = m - quarter_n; octant |= 2; }
|
cannam@95
|
69 if (m > quarter_n - m) { m = quarter_n - m; octant |= 1; }
|
cannam@95
|
70
|
cannam@95
|
71 theta = by2pi(m, n);
|
cannam@95
|
72 c = COS(theta); s = SIN(theta);
|
cannam@95
|
73
|
cannam@95
|
74 if (octant & 1) { t = c; c = s; s = t; }
|
cannam@95
|
75 if (octant & 2) { t = c; c = -s; s = t; }
|
cannam@95
|
76 if (octant & 4) { s = -s; }
|
cannam@95
|
77
|
cannam@95
|
78 out[0] = c;
|
cannam@95
|
79 out[1] = s;
|
cannam@95
|
80 }
|
cannam@95
|
81
|
cannam@95
|
82 static INT choose_twshft(INT n)
|
cannam@95
|
83 {
|
cannam@95
|
84 INT log2r = 0;
|
cannam@95
|
85 while (n > 0) {
|
cannam@95
|
86 ++log2r;
|
cannam@95
|
87 n /= 4;
|
cannam@95
|
88 }
|
cannam@95
|
89 return log2r;
|
cannam@95
|
90 }
|
cannam@95
|
91
|
cannam@95
|
92 static void cexpl_sqrtn_table(triggen *p, INT m, trigreal *res)
|
cannam@95
|
93 {
|
cannam@95
|
94 m += p->n * (m < 0);
|
cannam@95
|
95
|
cannam@95
|
96 {
|
cannam@95
|
97 INT m0 = m & p->twmsk;
|
cannam@95
|
98 INT m1 = m >> p->twshft;
|
cannam@95
|
99 trigreal wr0 = p->W0[2 * m0];
|
cannam@95
|
100 trigreal wi0 = p->W0[2 * m0 + 1];
|
cannam@95
|
101 trigreal wr1 = p->W1[2 * m1];
|
cannam@95
|
102 trigreal wi1 = p->W1[2 * m1 + 1];
|
cannam@95
|
103
|
cannam@95
|
104 res[0] = wr1 * wr0 - wi1 * wi0;
|
cannam@95
|
105 res[1] = wi1 * wr0 + wr1 * wi0;
|
cannam@95
|
106 }
|
cannam@95
|
107 }
|
cannam@95
|
108
|
cannam@95
|
109 /* multiply (xr, xi) by exp(FFT_SIGN * 2*pi*i*m/n) */
|
cannam@95
|
110 static void rotate_sqrtn_table(triggen *p, INT m, R xr, R xi, R *res)
|
cannam@95
|
111 {
|
cannam@95
|
112 m += p->n * (m < 0);
|
cannam@95
|
113
|
cannam@95
|
114 {
|
cannam@95
|
115 INT m0 = m & p->twmsk;
|
cannam@95
|
116 INT m1 = m >> p->twshft;
|
cannam@95
|
117 trigreal wr0 = p->W0[2 * m0];
|
cannam@95
|
118 trigreal wi0 = p->W0[2 * m0 + 1];
|
cannam@95
|
119 trigreal wr1 = p->W1[2 * m1];
|
cannam@95
|
120 trigreal wi1 = p->W1[2 * m1 + 1];
|
cannam@95
|
121 trigreal wr = wr1 * wr0 - wi1 * wi0;
|
cannam@95
|
122 trigreal wi = wi1 * wr0 + wr1 * wi0;
|
cannam@95
|
123
|
cannam@95
|
124 #if FFT_SIGN == -1
|
cannam@95
|
125 res[0] = xr * wr + xi * wi;
|
cannam@95
|
126 res[1] = xi * wr - xr * wi;
|
cannam@95
|
127 #else
|
cannam@95
|
128 res[0] = xr * wr - xi * wi;
|
cannam@95
|
129 res[1] = xi * wr + xr * wi;
|
cannam@95
|
130 #endif
|
cannam@95
|
131 }
|
cannam@95
|
132 }
|
cannam@95
|
133
|
cannam@95
|
134 static void cexpl_sincos(triggen *p, INT m, trigreal *res)
|
cannam@95
|
135 {
|
cannam@95
|
136 real_cexp(m, p->n, res);
|
cannam@95
|
137 }
|
cannam@95
|
138
|
cannam@95
|
139 static void cexp_zero(triggen *p, INT m, R *res)
|
cannam@95
|
140 {
|
cannam@95
|
141 UNUSED(p); UNUSED(m);
|
cannam@95
|
142 res[0] = 0;
|
cannam@95
|
143 res[1] = 0;
|
cannam@95
|
144 }
|
cannam@95
|
145
|
cannam@95
|
146 static void cexpl_zero(triggen *p, INT m, trigreal *res)
|
cannam@95
|
147 {
|
cannam@95
|
148 UNUSED(p); UNUSED(m);
|
cannam@95
|
149 res[0] = 0;
|
cannam@95
|
150 res[1] = 0;
|
cannam@95
|
151 }
|
cannam@95
|
152
|
cannam@95
|
153 static void cexp_generic(triggen *p, INT m, R *res)
|
cannam@95
|
154 {
|
cannam@95
|
155 trigreal resl[2];
|
cannam@95
|
156 p->cexpl(p, m, resl);
|
cannam@95
|
157 res[0] = (R)resl[0];
|
cannam@95
|
158 res[1] = (R)resl[1];
|
cannam@95
|
159 }
|
cannam@95
|
160
|
cannam@95
|
161 static void rotate_generic(triggen *p, INT m, R xr, R xi, R *res)
|
cannam@95
|
162 {
|
cannam@95
|
163 trigreal w[2];
|
cannam@95
|
164 p->cexpl(p, m, w);
|
cannam@95
|
165 res[0] = xr * w[0] - xi * (FFT_SIGN * w[1]);
|
cannam@95
|
166 res[1] = xi * w[0] + xr * (FFT_SIGN * w[1]);
|
cannam@95
|
167 }
|
cannam@95
|
168
|
cannam@95
|
169 triggen *X(mktriggen)(enum wakefulness wakefulness, INT n)
|
cannam@95
|
170 {
|
cannam@95
|
171 INT i, n0, n1;
|
cannam@95
|
172 triggen *p = (triggen *)MALLOC(sizeof(*p), TWIDDLES);
|
cannam@95
|
173
|
cannam@95
|
174 p->n = n;
|
cannam@95
|
175 p->W0 = p->W1 = 0;
|
cannam@95
|
176 p->cexp = 0;
|
cannam@95
|
177 p->rotate = 0;
|
cannam@95
|
178
|
cannam@95
|
179 switch (wakefulness) {
|
cannam@95
|
180 case SLEEPY:
|
cannam@95
|
181 A(0 /* can't happen */);
|
cannam@95
|
182 break;
|
cannam@95
|
183
|
cannam@95
|
184 case AWAKE_SQRTN_TABLE: {
|
cannam@95
|
185 INT twshft = choose_twshft(n);
|
cannam@95
|
186
|
cannam@95
|
187 p->twshft = twshft;
|
cannam@95
|
188 p->twradix = ((INT)1) << twshft;
|
cannam@95
|
189 p->twmsk = p->twradix - 1;
|
cannam@95
|
190
|
cannam@95
|
191 n0 = p->twradix;
|
cannam@95
|
192 n1 = (n + n0 - 1) / n0;
|
cannam@95
|
193
|
cannam@95
|
194 p->W0 = (trigreal *)MALLOC(n0 * 2 * sizeof(trigreal), TWIDDLES);
|
cannam@95
|
195 p->W1 = (trigreal *)MALLOC(n1 * 2 * sizeof(trigreal), TWIDDLES);
|
cannam@95
|
196
|
cannam@95
|
197 for (i = 0; i < n0; ++i)
|
cannam@95
|
198 real_cexp(i, n, p->W0 + 2 * i);
|
cannam@95
|
199
|
cannam@95
|
200 for (i = 0; i < n1; ++i)
|
cannam@95
|
201 real_cexp(i * p->twradix, n, p->W1 + 2 * i);
|
cannam@95
|
202
|
cannam@95
|
203 p->cexpl = cexpl_sqrtn_table;
|
cannam@95
|
204 p->rotate = rotate_sqrtn_table;
|
cannam@95
|
205 break;
|
cannam@95
|
206 }
|
cannam@95
|
207
|
cannam@95
|
208 case AWAKE_SINCOS:
|
cannam@95
|
209 p->cexpl = cexpl_sincos;
|
cannam@95
|
210 break;
|
cannam@95
|
211
|
cannam@95
|
212 case AWAKE_ZERO:
|
cannam@95
|
213 p->cexp = cexp_zero;
|
cannam@95
|
214 p->cexpl = cexpl_zero;
|
cannam@95
|
215 break;
|
cannam@95
|
216 }
|
cannam@95
|
217
|
cannam@95
|
218 if (!p->cexp) {
|
cannam@95
|
219 if (sizeof(trigreal) == sizeof(R))
|
cannam@95
|
220 p->cexp = (void (*)(triggen *, INT, R *))p->cexpl;
|
cannam@95
|
221 else
|
cannam@95
|
222 p->cexp = cexp_generic;
|
cannam@95
|
223 }
|
cannam@95
|
224 if (!p->rotate)
|
cannam@95
|
225 p->rotate = rotate_generic;
|
cannam@95
|
226 return p;
|
cannam@95
|
227 }
|
cannam@95
|
228
|
cannam@95
|
229 void X(triggen_destroy)(triggen *p)
|
cannam@95
|
230 {
|
cannam@95
|
231 X(ifree0)(p->W0);
|
cannam@95
|
232 X(ifree0)(p->W1);
|
cannam@95
|
233 X(ifree)(p);
|
cannam@95
|
234 }
|