annotate src/fftw-3.3.3/libbench2/mp.c @ 169:223a55898ab9 tip default

Add null config files
author Chris Cannam <cannam@all-day-breakfast.com>
date Mon, 02 Mar 2020 14:03:47 +0000
parents 89f5e221ed7b
children
rev   line source
cannam@95 1 #include "config.h"
cannam@95 2 #include "bench.h"
cannam@95 3 #include <math.h>
cannam@95 4
cannam@95 5 #define DG unsigned short
cannam@95 6 #define ACC unsigned long
cannam@95 7 #define REAL bench_real
cannam@95 8 #define BITS_IN_REAL 53 /* mantissa */
cannam@95 9
cannam@95 10 #define SHFT 16
cannam@95 11 #define RADIX 65536L
cannam@95 12 #define IRADIX (1.0 / RADIX)
cannam@95 13 #define LO(x) ((x) & (RADIX - 1))
cannam@95 14 #define HI(x) ((x) >> SHFT)
cannam@95 15 #define HI_SIGNED(x) \
cannam@95 16 ((((x) + (ACC)(RADIX >> 1) * RADIX) >> SHFT) - (RADIX >> 1))
cannam@95 17 #define ZEROEXP (-32768)
cannam@95 18
cannam@95 19 #define LEN 10
cannam@95 20
cannam@95 21 typedef struct {
cannam@95 22 short sign;
cannam@95 23 short expt;
cannam@95 24 DG d[LEN];
cannam@95 25 } N[1];
cannam@95 26
cannam@95 27 #define EXA a->expt
cannam@95 28 #define EXB b->expt
cannam@95 29 #define EXC c->expt
cannam@95 30
cannam@95 31 #define AD a->d
cannam@95 32 #define BD b->d
cannam@95 33
cannam@95 34 #define SGNA a->sign
cannam@95 35 #define SGNB b->sign
cannam@95 36
cannam@95 37 static const N zero = {{ 1, ZEROEXP, {0} }};
cannam@95 38
cannam@95 39 static void cpy(const N a, N b)
cannam@95 40 {
cannam@95 41 *b = *a;
cannam@95 42 }
cannam@95 43
cannam@95 44 static void fromreal(REAL x, N a)
cannam@95 45 {
cannam@95 46 int i, e;
cannam@95 47
cannam@95 48 cpy(zero, a);
cannam@95 49 if (x == 0.0) return;
cannam@95 50
cannam@95 51 if (x >= 0) { SGNA = 1; }
cannam@95 52 else { SGNA = -1; x = -x; }
cannam@95 53
cannam@95 54 e = 0;
cannam@95 55 while (x >= 1.0) { x *= IRADIX; ++e; }
cannam@95 56 while (x < IRADIX) { x *= RADIX; --e; }
cannam@95 57 EXA = e;
cannam@95 58
cannam@95 59 for (i = LEN - 1; i >= 0 && x != 0.0; --i) {
cannam@95 60 REAL y;
cannam@95 61
cannam@95 62 x *= RADIX;
cannam@95 63 y = (REAL) ((int) x);
cannam@95 64 AD[i] = (DG)y;
cannam@95 65 x -= y;
cannam@95 66 }
cannam@95 67 }
cannam@95 68
cannam@95 69 static void fromshort(int x, N a)
cannam@95 70 {
cannam@95 71 cpy(zero, a);
cannam@95 72
cannam@95 73 if (x < 0) { x = -x; SGNA = -1; }
cannam@95 74 else { SGNA = 1; }
cannam@95 75 EXA = 1;
cannam@95 76 AD[LEN - 1] = x;
cannam@95 77 }
cannam@95 78
cannam@95 79 static void pack(DG *d, int e, int s, int l, N a)
cannam@95 80 {
cannam@95 81 int i, j;
cannam@95 82
cannam@95 83 for (i = l - 1; i >= 0; --i, --e)
cannam@95 84 if (d[i] != 0)
cannam@95 85 break;
cannam@95 86
cannam@95 87 if (i < 0) {
cannam@95 88 /* number is zero */
cannam@95 89 cpy(zero, a);
cannam@95 90 } else {
cannam@95 91 EXA = e;
cannam@95 92 SGNA = s;
cannam@95 93
cannam@95 94 if (i >= LEN - 1) {
cannam@95 95 for (j = LEN - 1; j >= 0; --i, --j)
cannam@95 96 AD[j] = d[i];
cannam@95 97 } else {
cannam@95 98 for (j = LEN - 1; i >= 0; --i, --j)
cannam@95 99 AD[j] = d[i];
cannam@95 100 for ( ; j >= 0; --j)
cannam@95 101 AD[j] = 0;
cannam@95 102 }
cannam@95 103 }
cannam@95 104 }
cannam@95 105
cannam@95 106
cannam@95 107 /* compare absolute values */
cannam@95 108 static int abscmp(const N a, const N b)
cannam@95 109 {
cannam@95 110 int i;
cannam@95 111 if (EXA > EXB) return 1;
cannam@95 112 if (EXA < EXB) return -1;
cannam@95 113 for (i = LEN - 1; i >= 0; --i) {
cannam@95 114 if (AD[i] > BD[i])
cannam@95 115 return 1;
cannam@95 116 if (AD[i] < BD[i])
cannam@95 117 return -1;
cannam@95 118 }
cannam@95 119 return 0;
cannam@95 120 }
cannam@95 121
cannam@95 122 static int eq(const N a, const N b)
cannam@95 123 {
cannam@95 124 return (SGNA == SGNB) && (abscmp(a, b) == 0);
cannam@95 125 }
cannam@95 126
cannam@95 127 /* add magnitudes, for |a| >= |b| */
cannam@95 128 static void addmag0(int s, const N a, const N b, N c)
cannam@95 129 {
cannam@95 130 int ia, ib;
cannam@95 131 ACC r = 0;
cannam@95 132 DG d[LEN + 1];
cannam@95 133
cannam@95 134 for (ia = 0, ib = EXA - EXB; ib < LEN; ++ia, ++ib) {
cannam@95 135 r += (ACC)AD[ia] + (ACC)BD[ib];
cannam@95 136 d[ia] = LO(r);
cannam@95 137 r = HI(r);
cannam@95 138 }
cannam@95 139 for (; ia < LEN; ++ia) {
cannam@95 140 r += (ACC)AD[ia];
cannam@95 141 d[ia] = LO(r);
cannam@95 142 r = HI(r);
cannam@95 143 }
cannam@95 144 d[ia] = LO(r);
cannam@95 145 pack(d, EXA + 1, s * SGNA, LEN + 1, c);
cannam@95 146 }
cannam@95 147
cannam@95 148 static void addmag(int s, const N a, const N b, N c)
cannam@95 149 {
cannam@95 150 if (abscmp(a, b) > 0) addmag0(1, a, b, c); else addmag0(s, b, a, c);
cannam@95 151 }
cannam@95 152
cannam@95 153 /* subtract magnitudes, for |a| >= |b| */
cannam@95 154 static void submag0(int s, const N a, const N b, N c)
cannam@95 155 {
cannam@95 156 int ia, ib;
cannam@95 157 ACC r = 0;
cannam@95 158 DG d[LEN];
cannam@95 159
cannam@95 160 for (ia = 0, ib = EXA - EXB; ib < LEN; ++ia, ++ib) {
cannam@95 161 r += (ACC)AD[ia] - (ACC)BD[ib];
cannam@95 162 d[ia] = LO(r);
cannam@95 163 r = HI_SIGNED(r);
cannam@95 164 }
cannam@95 165 for (; ia < LEN; ++ia) {
cannam@95 166 r += (ACC)AD[ia];
cannam@95 167 d[ia] = LO(r);
cannam@95 168 r = HI_SIGNED(r);
cannam@95 169 }
cannam@95 170
cannam@95 171 pack(d, EXA, s * SGNA, LEN, c);
cannam@95 172 }
cannam@95 173
cannam@95 174 static void submag(int s, const N a, const N b, N c)
cannam@95 175 {
cannam@95 176 if (abscmp(a, b) > 0) submag0(1, a, b, c); else submag0(s, b, a, c);
cannam@95 177 }
cannam@95 178
cannam@95 179 /* c = a + b */
cannam@95 180 static void add(const N a, const N b, N c)
cannam@95 181 {
cannam@95 182 if (SGNA == SGNB) addmag(1, a, b, c); else submag(1, a, b, c);
cannam@95 183 }
cannam@95 184
cannam@95 185 static void sub(const N a, const N b, N c)
cannam@95 186 {
cannam@95 187 if (SGNA == SGNB) submag(-1, a, b, c); else addmag(-1, a, b, c);
cannam@95 188 }
cannam@95 189
cannam@95 190 static void mul(const N a, const N b, N c)
cannam@95 191 {
cannam@95 192 DG d[2 * LEN];
cannam@95 193 int i, j, k;
cannam@95 194 ACC r;
cannam@95 195
cannam@95 196 for (i = 0; i < LEN; ++i)
cannam@95 197 d[2 * i] = d[2 * i + 1] = 0;
cannam@95 198
cannam@95 199 for (i = 0; i < LEN; ++i) {
cannam@95 200 ACC ai = AD[i];
cannam@95 201 if (ai) {
cannam@95 202 r = 0;
cannam@95 203 for (j = 0, k = i; j < LEN; ++j, ++k) {
cannam@95 204 r += ai * (ACC)BD[j] + (ACC)d[k];
cannam@95 205 d[k] = LO(r);
cannam@95 206 r = HI(r);
cannam@95 207 }
cannam@95 208 d[k] = LO(r);
cannam@95 209 }
cannam@95 210 }
cannam@95 211
cannam@95 212 pack(d, EXA + EXB, SGNA * SGNB, 2 * LEN, c);
cannam@95 213 }
cannam@95 214
cannam@95 215 static REAL toreal(const N a)
cannam@95 216 {
cannam@95 217 REAL h, l, f;
cannam@95 218 int i, bits;
cannam@95 219 ACC r;
cannam@95 220 DG sticky;
cannam@95 221
cannam@95 222 if (EXA != ZEROEXP) {
cannam@95 223 f = IRADIX;
cannam@95 224 i = LEN;
cannam@95 225
cannam@95 226 bits = 0;
cannam@95 227 h = (r = AD[--i]) * f; f *= IRADIX;
cannam@95 228 for (bits = 0; r > 0; ++bits)
cannam@95 229 r >>= 1;
cannam@95 230
cannam@95 231 /* first digit */
cannam@95 232 while (bits + SHFT <= BITS_IN_REAL) {
cannam@95 233 h += AD[--i] * f; f *= IRADIX; bits += SHFT;
cannam@95 234 }
cannam@95 235
cannam@95 236 /* guard digit (leave one bit for sticky bit, hence `<' instead
cannam@95 237 of `<=') */
cannam@95 238 bits = 0; l = 0.0;
cannam@95 239 while (bits + SHFT < BITS_IN_REAL) {
cannam@95 240 l += AD[--i] * f; f *= IRADIX; bits += SHFT;
cannam@95 241 }
cannam@95 242
cannam@95 243 /* sticky bit */
cannam@95 244 sticky = 0;
cannam@95 245 while (i > 0)
cannam@95 246 sticky |= AD[--i];
cannam@95 247
cannam@95 248 if (sticky)
cannam@95 249 l += (RADIX / 2) * f;
cannam@95 250
cannam@95 251 h += l;
cannam@95 252
cannam@95 253 for (i = 0; i < EXA; ++i) h *= (REAL)RADIX;
cannam@95 254 for (i = 0; i > EXA; --i) h *= IRADIX;
cannam@95 255 if (SGNA == -1) h = -h;
cannam@95 256 return h;
cannam@95 257 } else {
cannam@95 258 return 0.0;
cannam@95 259 }
cannam@95 260 }
cannam@95 261
cannam@95 262 static void neg(N a)
cannam@95 263 {
cannam@95 264 SGNA = -SGNA;
cannam@95 265 }
cannam@95 266
cannam@95 267 static void inv(const N a, N x)
cannam@95 268 {
cannam@95 269 N w, z, one, two;
cannam@95 270
cannam@95 271 fromreal(1.0 / toreal(a), x); /* initial guess */
cannam@95 272 fromshort(1, one);
cannam@95 273 fromshort(2, two);
cannam@95 274
cannam@95 275 for (;;) {
cannam@95 276 /* Newton */
cannam@95 277 mul(a, x, w);
cannam@95 278 sub(two, w, z);
cannam@95 279 if (eq(one, z)) break;
cannam@95 280 mul(x, z, x);
cannam@95 281 }
cannam@95 282 }
cannam@95 283
cannam@95 284
cannam@95 285 /* 2 pi */
cannam@95 286 static const N n2pi = {{
cannam@95 287 1, 1,
cannam@95 288 {18450, 59017, 1760, 5212, 9779, 4518, 2886, 54545, 18558, 6}
cannam@95 289 }};
cannam@95 290
cannam@95 291 /* 1 / 31! */
cannam@95 292 static const N i31fac = {{
cannam@95 293 1, -7,
cannam@95 294 {28087, 45433, 51357, 24545, 14291, 3954, 57879, 8109, 38716, 41382}
cannam@95 295 }};
cannam@95 296
cannam@95 297
cannam@95 298 /* 1 / 32! */
cannam@95 299 static const N i32fac = {{
cannam@95 300 1, -7,
cannam@95 301 {52078, 60811, 3652, 39679, 37310, 47227, 28432, 57597, 13497, 1293}
cannam@95 302 }};
cannam@95 303
cannam@95 304 static void msin(const N a, N b)
cannam@95 305 {
cannam@95 306 N a2, g, k;
cannam@95 307 int i;
cannam@95 308
cannam@95 309 cpy(i31fac, g);
cannam@95 310 cpy(g, b);
cannam@95 311 mul(a, a, a2);
cannam@95 312
cannam@95 313 /* Taylor */
cannam@95 314 for (i = 31; i > 1; i -= 2) {
cannam@95 315 fromshort(i * (i - 1), k);
cannam@95 316 mul(k, g, g);
cannam@95 317 mul(a2, b, k);
cannam@95 318 sub(g, k, b);
cannam@95 319 }
cannam@95 320 mul(a, b, b);
cannam@95 321 }
cannam@95 322
cannam@95 323 static void mcos(const N a, N b)
cannam@95 324 {
cannam@95 325 N a2, g, k;
cannam@95 326 int i;
cannam@95 327
cannam@95 328 cpy(i32fac, g);
cannam@95 329 cpy(g, b);
cannam@95 330 mul(a, a, a2);
cannam@95 331
cannam@95 332 /* Taylor */
cannam@95 333 for (i = 32; i > 0; i -= 2) {
cannam@95 334 fromshort(i * (i - 1), k);
cannam@95 335 mul(k, g, g);
cannam@95 336 mul(a2, b, k);
cannam@95 337 sub(g, k, b);
cannam@95 338 }
cannam@95 339 }
cannam@95 340
cannam@95 341 static void by2pi(REAL m, REAL n, N a)
cannam@95 342 {
cannam@95 343 N b;
cannam@95 344
cannam@95 345 fromreal(n, b);
cannam@95 346 inv(b, a);
cannam@95 347 fromreal(m, b);
cannam@95 348 mul(a, b, a);
cannam@95 349 mul(n2pi, a, a);
cannam@95 350 }
cannam@95 351
cannam@95 352 static void sin2pi(REAL m, REAL n, N a);
cannam@95 353 static void cos2pi(REAL m, REAL n, N a)
cannam@95 354 {
cannam@95 355 N b;
cannam@95 356 if (m < 0) cos2pi(-m, n, a);
cannam@95 357 else if (m > n * 0.5) cos2pi(n - m, n, a);
cannam@95 358 else if (m > n * 0.25) {sin2pi(m - n * 0.25, n, a); neg(a);}
cannam@95 359 else if (m > n * 0.125) sin2pi(n * 0.25 - m, n, a);
cannam@95 360 else { by2pi(m, n, b); mcos(b, a); }
cannam@95 361 }
cannam@95 362
cannam@95 363 static void sin2pi(REAL m, REAL n, N a)
cannam@95 364 {
cannam@95 365 N b;
cannam@95 366 if (m < 0) {sin2pi(-m, n, a); neg(a);}
cannam@95 367 else if (m > n * 0.5) {sin2pi(n - m, n, a); neg(a);}
cannam@95 368 else if (m > n * 0.25) {cos2pi(m - n * 0.25, n, a);}
cannam@95 369 else if (m > n * 0.125) {cos2pi(n * 0.25 - m, n, a);}
cannam@95 370 else {by2pi(m, n, b); msin(b, a);}
cannam@95 371 }
cannam@95 372
cannam@95 373 /*----------------------------------------------------------------------*/
cannam@95 374 /* FFT stuff */
cannam@95 375
cannam@95 376 /* (r0 + i i0)(r1 + i i1) */
cannam@95 377 static void cmul(N r0, N i0, N r1, N i1, N r2, N i2)
cannam@95 378 {
cannam@95 379 N s, t, q;
cannam@95 380 mul(r0, r1, s);
cannam@95 381 mul(i0, i1, t);
cannam@95 382 sub(s, t, q);
cannam@95 383 mul(r0, i1, s);
cannam@95 384 mul(i0, r1, t);
cannam@95 385 add(s, t, i2);
cannam@95 386 cpy(q, r2);
cannam@95 387 }
cannam@95 388
cannam@95 389 /* (r0 - i i0)(r1 + i i1) */
cannam@95 390 static void cmulj(N r0, N i0, N r1, N i1, N r2, N i2)
cannam@95 391 {
cannam@95 392 N s, t, q;
cannam@95 393 mul(r0, r1, s);
cannam@95 394 mul(i0, i1, t);
cannam@95 395 add(s, t, q);
cannam@95 396 mul(r0, i1, s);
cannam@95 397 mul(i0, r1, t);
cannam@95 398 sub(s, t, i2);
cannam@95 399 cpy(q, r2);
cannam@95 400 }
cannam@95 401
cannam@95 402 static void mcexp(int m, int n, N r, N i)
cannam@95 403 {
cannam@95 404 static int cached_n = -1;
cannam@95 405 static N w[64][2];
cannam@95 406 int k, j;
cannam@95 407 if (n != cached_n) {
cannam@95 408 for (j = 1, k = 0; j < n; j += j, ++k) {
cannam@95 409 cos2pi(j, n, w[k][0]);
cannam@95 410 sin2pi(j, n, w[k][1]);
cannam@95 411 }
cannam@95 412 cached_n = n;
cannam@95 413 }
cannam@95 414
cannam@95 415 fromshort(1, r);
cannam@95 416 fromshort(0, i);
cannam@95 417 if (m > 0) {
cannam@95 418 for (k = 0; m; ++k, m >>= 1)
cannam@95 419 if (m & 1)
cannam@95 420 cmul(w[k][0], w[k][1], r, i, r, i);
cannam@95 421 } else {
cannam@95 422 m = -m;
cannam@95 423 for (k = 0; m; ++k, m >>= 1)
cannam@95 424 if (m & 1)
cannam@95 425 cmulj(w[k][0], w[k][1], r, i, r, i);
cannam@95 426 }
cannam@95 427 }
cannam@95 428
cannam@95 429 static void bitrev(int n, N *a)
cannam@95 430 {
cannam@95 431 int i, j, m;
cannam@95 432 for (i = j = 0; i < n - 1; ++i) {
cannam@95 433 if (i < j) {
cannam@95 434 N t;
cannam@95 435 cpy(a[2*i], t); cpy(a[2*j], a[2*i]); cpy(t, a[2*j]);
cannam@95 436 cpy(a[2*i+1], t); cpy(a[2*j+1], a[2*i+1]); cpy(t, a[2*j+1]);
cannam@95 437 }
cannam@95 438
cannam@95 439 /* bit reversed counter */
cannam@95 440 m = n; do { m >>= 1; j ^= m; } while (!(j & m));
cannam@95 441 }
cannam@95 442 }
cannam@95 443
cannam@95 444 static void fft0(int n, N *a, int sign)
cannam@95 445 {
cannam@95 446 int i, j, k;
cannam@95 447
cannam@95 448 bitrev(n, a);
cannam@95 449 for (i = 1; i < n; i = 2 * i) {
cannam@95 450 for (j = 0; j < i; ++j) {
cannam@95 451 N wr, wi;
cannam@95 452 mcexp(sign * (int)j, 2 * i, wr, wi);
cannam@95 453 for (k = j; k < n; k += 2 * i) {
cannam@95 454 N *a0 = a + 2 * k;
cannam@95 455 N *a1 = a0 + 2 * i;
cannam@95 456 N r0, i0, r1, i1, t0, t1, xr, xi;
cannam@95 457 cpy(a0[0], r0); cpy(a0[1], i0);
cannam@95 458 cpy(a1[0], r1); cpy(a1[1], i1);
cannam@95 459 mul(r1, wr, t0); mul(i1, wi, t1); sub(t0, t1, xr);
cannam@95 460 mul(r1, wi, t0); mul(i1, wr, t1); add(t0, t1, xi);
cannam@95 461 add(r0, xr, a0[0]); add(i0, xi, a0[1]);
cannam@95 462 sub(r0, xr, a1[0]); sub(i0, xi, a1[1]);
cannam@95 463 }
cannam@95 464 }
cannam@95 465 }
cannam@95 466 }
cannam@95 467
cannam@95 468 /* a[2*k]+i*a[2*k+1] = exp(2*pi*i*k^2/(2*n)) */
cannam@95 469 static void bluestein_sequence(int n, N *a)
cannam@95 470 {
cannam@95 471 int k, ksq, n2 = 2 * n;
cannam@95 472
cannam@95 473 ksq = 1; /* (-1)^2 */
cannam@95 474 for (k = 0; k < n; ++k) {
cannam@95 475 /* careful with overflow */
cannam@95 476 ksq = ksq + 2*k - 1; while (ksq > n2) ksq -= n2;
cannam@95 477 mcexp(ksq, n2, a[2*k], a[2*k+1]);
cannam@95 478 }
cannam@95 479 }
cannam@95 480
cannam@95 481 static int pow2_atleast(int x)
cannam@95 482 {
cannam@95 483 int h;
cannam@95 484 for (h = 1; h < x; h = 2 * h)
cannam@95 485 ;
cannam@95 486 return h;
cannam@95 487 }
cannam@95 488
cannam@95 489 static N *cached_bluestein_w = 0;
cannam@95 490 static N *cached_bluestein_y = 0;
cannam@95 491 static int cached_bluestein_n = -1;
cannam@95 492
cannam@95 493 static void bluestein(int n, N *a)
cannam@95 494 {
cannam@95 495 int nb = pow2_atleast(2 * n);
cannam@95 496 N *b = (N *)bench_malloc(2 * nb * sizeof(N));
cannam@95 497 N *w = cached_bluestein_w;
cannam@95 498 N *y = cached_bluestein_y;
cannam@95 499 N nbinv;
cannam@95 500 int i;
cannam@95 501
cannam@95 502 fromreal(1.0 / nb, nbinv); /* exact because nb = 2^k */
cannam@95 503
cannam@95 504 if (cached_bluestein_n != n) {
cannam@95 505 if (w) bench_free(w);
cannam@95 506 if (y) bench_free(y);
cannam@95 507 w = (N *)bench_malloc(2 * n * sizeof(N));
cannam@95 508 y = (N *)bench_malloc(2 * nb * sizeof(N));
cannam@95 509 cached_bluestein_n = n;
cannam@95 510 cached_bluestein_w = w;
cannam@95 511 cached_bluestein_y = y;
cannam@95 512
cannam@95 513 bluestein_sequence(n, w);
cannam@95 514 for (i = 0; i < 2*nb; ++i) cpy(zero, y[i]);
cannam@95 515
cannam@95 516 for (i = 0; i < n; ++i) {
cannam@95 517 cpy(w[2*i], y[2*i]);
cannam@95 518 cpy(w[2*i+1], y[2*i+1]);
cannam@95 519 }
cannam@95 520 for (i = 1; i < n; ++i) {
cannam@95 521 cpy(w[2*i], y[2*(nb-i)]);
cannam@95 522 cpy(w[2*i+1], y[2*(nb-i)+1]);
cannam@95 523 }
cannam@95 524
cannam@95 525 fft0(nb, y, -1);
cannam@95 526 }
cannam@95 527
cannam@95 528 for (i = 0; i < 2*nb; ++i) cpy(zero, b[i]);
cannam@95 529
cannam@95 530 for (i = 0; i < n; ++i)
cannam@95 531 cmulj(w[2*i], w[2*i+1], a[2*i], a[2*i+1], b[2*i], b[2*i+1]);
cannam@95 532
cannam@95 533 /* scaled convolution b * y */
cannam@95 534 fft0(nb, b, -1);
cannam@95 535
cannam@95 536 for (i = 0; i < nb; ++i)
cannam@95 537 cmul(b[2*i], b[2*i+1], y[2*i], y[2*i+1], b[2*i], b[2*i+1]);
cannam@95 538 fft0(nb, b, 1);
cannam@95 539
cannam@95 540 for (i = 0; i < n; ++i) {
cannam@95 541 cmulj(w[2*i], w[2*i+1], b[2*i], b[2*i+1], a[2*i], a[2*i+1]);
cannam@95 542 mul(nbinv, a[2*i], a[2*i]);
cannam@95 543 mul(nbinv, a[2*i+1], a[2*i+1]);
cannam@95 544 }
cannam@95 545
cannam@95 546 bench_free(b);
cannam@95 547 }
cannam@95 548
cannam@95 549 static void swapri(int n, N *a)
cannam@95 550 {
cannam@95 551 int i;
cannam@95 552 for (i = 0; i < n; ++i) {
cannam@95 553 N t;
cannam@95 554 cpy(a[2 * i], t);
cannam@95 555 cpy(a[2 * i + 1], a[2 * i]);
cannam@95 556 cpy(t, a[2 * i + 1]);
cannam@95 557 }
cannam@95 558 }
cannam@95 559
cannam@95 560 static void fft1(int n, N *a, int sign)
cannam@95 561 {
cannam@95 562 if (power_of_two(n)) {
cannam@95 563 fft0(n, a, sign);
cannam@95 564 } else {
cannam@95 565 if (sign == 1) swapri(n, a);
cannam@95 566 bluestein(n, a);
cannam@95 567 if (sign == 1) swapri(n, a);
cannam@95 568 }
cannam@95 569 }
cannam@95 570
cannam@95 571 static void fromrealv(int n, bench_complex *a, N *b)
cannam@95 572 {
cannam@95 573 int i;
cannam@95 574
cannam@95 575 for (i = 0; i < n; ++i) {
cannam@95 576 fromreal(c_re(a[i]), b[2 * i]);
cannam@95 577 fromreal(c_im(a[i]), b[2 * i + 1]);
cannam@95 578 }
cannam@95 579 }
cannam@95 580
cannam@95 581 static void compare(int n, N *a, N *b, double *err)
cannam@95 582 {
cannam@95 583 int i;
cannam@95 584 double e1, e2, einf;
cannam@95 585 double n1, n2, ninf;
cannam@95 586
cannam@95 587 e1 = e2 = einf = 0.0;
cannam@95 588 n1 = n2 = ninf = 0.0;
cannam@95 589
cannam@95 590 # define DO(x1, x2, xinf, var) { \
cannam@95 591 double d = var; \
cannam@95 592 if (d < 0) d = -d; \
cannam@95 593 x1 += d; x2 += d * d; if (d > xinf) xinf = d; \
cannam@95 594 }
cannam@95 595
cannam@95 596 for (i = 0; i < 2 * n; ++i) {
cannam@95 597 N dd;
cannam@95 598 sub(a[i], b[i], dd);
cannam@95 599 DO(n1, n2, ninf, toreal(a[i]));
cannam@95 600 DO(e1, e2, einf, toreal(dd));
cannam@95 601 }
cannam@95 602
cannam@95 603 # undef DO
cannam@95 604 err[0] = e1 / n1;
cannam@95 605 err[1] = sqrt(e2 / n2);
cannam@95 606 err[2] = einf / ninf;
cannam@95 607 }
cannam@95 608
cannam@95 609 void fftaccuracy(int n, bench_complex *a, bench_complex *ffta,
cannam@95 610 int sign, double err[6])
cannam@95 611 {
cannam@95 612 N *b = (N *)bench_malloc(2 * n * sizeof(N));
cannam@95 613 N *fftb = (N *)bench_malloc(2 * n * sizeof(N));
cannam@95 614 N mn, ninv;
cannam@95 615 int i;
cannam@95 616
cannam@95 617 fromreal(n, mn); inv(mn, ninv);
cannam@95 618
cannam@95 619 /* forward error */
cannam@95 620 fromrealv(n, a, b); fromrealv(n, ffta, fftb);
cannam@95 621 fft1(n, b, sign);
cannam@95 622 compare(n, b, fftb, err);
cannam@95 623
cannam@95 624 /* backward error */
cannam@95 625 fromrealv(n, a, b); fromrealv(n, ffta, fftb);
cannam@95 626 for (i = 0; i < 2 * n; ++i) mul(fftb[i], ninv, fftb[i]);
cannam@95 627 fft1(n, fftb, -sign);
cannam@95 628 compare(n, b, fftb, err + 3);
cannam@95 629
cannam@95 630 bench_free(fftb);
cannam@95 631 bench_free(b);
cannam@95 632 }
cannam@95 633
cannam@95 634 void fftaccuracy_done(void)
cannam@95 635 {
cannam@95 636 if (cached_bluestein_w) bench_free(cached_bluestein_w);
cannam@95 637 if (cached_bluestein_y) bench_free(cached_bluestein_y);
cannam@95 638 cached_bluestein_w = 0;
cannam@95 639 cached_bluestein_y = 0;
cannam@95 640 cached_bluestein_n = -1;
cannam@95 641 }