cannam@95: /* cannam@95: * Copyright (c) 2003, 2007-11 Matteo Frigo cannam@95: * Copyright (c) 2003, 2007-11 Massachusetts Institute of Technology cannam@95: * cannam@95: * This program is free software; you can redistribute it and/or modify cannam@95: * it under the terms of the GNU General Public License as published by cannam@95: * the Free Software Foundation; either version 2 of the License, or cannam@95: * (at your option) any later version. cannam@95: * cannam@95: * This program is distributed in the hope that it will be useful, cannam@95: * but WITHOUT ANY WARRANTY; without even the implied warranty of cannam@95: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the cannam@95: * GNU General Public License for more details. cannam@95: * cannam@95: * You should have received a copy of the GNU General Public License cannam@95: * along with this program; if not, write to the Free Software cannam@95: * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA cannam@95: * cannam@95: */ cannam@95: cannam@95: cannam@95: #include "verify.h" cannam@95: #include cannam@95: #include cannam@95: #include cannam@95: cannam@95: /* cannam@95: * Utility functions: cannam@95: */ cannam@95: static double dabs(double x) { return (x < 0.0) ? -x : x; } cannam@95: static double dmin(double x, double y) { return (x < y) ? x : y; } cannam@95: static double norm2(double x, double y) { return dmax(dabs(x), dabs(y)); } cannam@95: cannam@95: double dmax(double x, double y) { return (x > y) ? x : y; } cannam@95: cannam@95: static double aerror(C *a, C *b, int n) cannam@95: { cannam@95: if (n > 0) { cannam@95: /* compute the relative Linf error */ cannam@95: double e = 0.0, mag = 0.0; cannam@95: int i; cannam@95: cannam@95: for (i = 0; i < n; ++i) { cannam@95: e = dmax(e, norm2(c_re(a[i]) - c_re(b[i]), cannam@95: c_im(a[i]) - c_im(b[i]))); cannam@95: mag = dmax(mag, cannam@95: dmin(norm2(c_re(a[i]), c_im(a[i])), cannam@95: norm2(c_re(b[i]), c_im(b[i])))); cannam@95: } cannam@95: e /= mag; cannam@95: cannam@95: #ifdef HAVE_ISNAN cannam@95: BENCH_ASSERT(!isnan(e)); cannam@95: #endif cannam@95: return e; cannam@95: } else cannam@95: return 0.0; cannam@95: } cannam@95: cannam@95: #ifdef HAVE_DRAND48 cannam@95: # if defined(HAVE_DECL_DRAND48) && !HAVE_DECL_DRAND48 cannam@95: extern double drand48(void); cannam@95: # endif cannam@95: double mydrand(void) cannam@95: { cannam@95: return drand48() - 0.5; cannam@95: } cannam@95: #else cannam@95: double mydrand(void) cannam@95: { cannam@95: double d = rand(); cannam@95: return (d / (double) RAND_MAX) - 0.5; cannam@95: } cannam@95: #endif cannam@95: cannam@95: void arand(C *a, int n) cannam@95: { cannam@95: int i; cannam@95: cannam@95: /* generate random inputs */ cannam@95: for (i = 0; i < n; ++i) { cannam@95: c_re(a[i]) = mydrand(); cannam@95: c_im(a[i]) = mydrand(); cannam@95: } cannam@95: } cannam@95: cannam@95: /* make array real */ cannam@95: void mkreal(C *A, int n) cannam@95: { cannam@95: int i; cannam@95: cannam@95: for (i = 0; i < n; ++i) { cannam@95: c_im(A[i]) = 0.0; cannam@95: } cannam@95: } cannam@95: cannam@95: static void assign_conj(C *Ac, C *A, int rank, const bench_iodim *dim, int stride) cannam@95: { cannam@95: if (rank == 0) { cannam@95: c_re(*Ac) = c_re(*A); cannam@95: c_im(*Ac) = -c_im(*A); cannam@95: } cannam@95: else { cannam@95: int i, n0 = dim[rank - 1].n, s = stride; cannam@95: rank -= 1; cannam@95: stride *= n0; cannam@95: assign_conj(Ac, A, rank, dim, stride); cannam@95: for (i = 1; i < n0; ++i) cannam@95: assign_conj(Ac + (n0 - i) * s, A + i * s, rank, dim, stride); cannam@95: } cannam@95: } cannam@95: cannam@95: /* make array hermitian */ cannam@95: void mkhermitian(C *A, int rank, const bench_iodim *dim, int stride) cannam@95: { cannam@95: if (rank == 0) cannam@95: c_im(*A) = 0.0; cannam@95: else { cannam@95: int i, n0 = dim[rank - 1].n, s = stride; cannam@95: rank -= 1; cannam@95: stride *= n0; cannam@95: mkhermitian(A, rank, dim, stride); cannam@95: for (i = 1; 2*i < n0; ++i) cannam@95: assign_conj(A + (n0 - i) * s, A + i * s, rank, dim, stride); cannam@95: if (2*i == n0) cannam@95: mkhermitian(A + i * s, rank, dim, stride); cannam@95: } cannam@95: } cannam@95: cannam@95: void mkhermitian1(C *a, int n) cannam@95: { cannam@95: bench_iodim d; cannam@95: cannam@95: d.n = n; cannam@95: d.is = d.os = 1; cannam@95: mkhermitian(a, 1, &d, 1); cannam@95: } cannam@95: cannam@95: /* C = A */ cannam@95: void acopy(C *c, C *a, int n) cannam@95: { cannam@95: int i; cannam@95: cannam@95: for (i = 0; i < n; ++i) { cannam@95: c_re(c[i]) = c_re(a[i]); cannam@95: c_im(c[i]) = c_im(a[i]); cannam@95: } cannam@95: } cannam@95: cannam@95: /* C = A + B */ cannam@95: void aadd(C *c, C *a, C *b, int n) cannam@95: { cannam@95: int i; cannam@95: cannam@95: for (i = 0; i < n; ++i) { cannam@95: c_re(c[i]) = c_re(a[i]) + c_re(b[i]); cannam@95: c_im(c[i]) = c_im(a[i]) + c_im(b[i]); cannam@95: } cannam@95: } cannam@95: cannam@95: /* C = A - B */ cannam@95: void asub(C *c, C *a, C *b, int n) cannam@95: { cannam@95: int i; cannam@95: cannam@95: for (i = 0; i < n; ++i) { cannam@95: c_re(c[i]) = c_re(a[i]) - c_re(b[i]); cannam@95: c_im(c[i]) = c_im(a[i]) - c_im(b[i]); cannam@95: } cannam@95: } cannam@95: cannam@95: /* B = rotate left A (complex) */ cannam@95: void arol(C *b, C *a, int n, int nb, int na) cannam@95: { cannam@95: int i, ib, ia; cannam@95: cannam@95: for (ib = 0; ib < nb; ++ib) { cannam@95: for (i = 0; i < n - 1; ++i) cannam@95: for (ia = 0; ia < na; ++ia) { cannam@95: C *pb = b + (ib * n + i) * na + ia; cannam@95: C *pa = a + (ib * n + i + 1) * na + ia; cannam@95: c_re(*pb) = c_re(*pa); cannam@95: c_im(*pb) = c_im(*pa); cannam@95: } cannam@95: cannam@95: for (ia = 0; ia < na; ++ia) { cannam@95: C *pb = b + (ib * n + n - 1) * na + ia; cannam@95: C *pa = a + ib * n * na + ia; cannam@95: c_re(*pb) = c_re(*pa); cannam@95: c_im(*pb) = c_im(*pa); cannam@95: } cannam@95: } cannam@95: } cannam@95: cannam@95: void aphase_shift(C *b, C *a, int n, int nb, int na, double sign) cannam@95: { cannam@95: int j, jb, ja; cannam@95: trigreal twopin; cannam@95: twopin = K2PI / n; cannam@95: cannam@95: for (jb = 0; jb < nb; ++jb) cannam@95: for (j = 0; j < n; ++j) { cannam@95: trigreal s = sign * SIN(j * twopin); cannam@95: trigreal c = COS(j * twopin); cannam@95: cannam@95: for (ja = 0; ja < na; ++ja) { cannam@95: int k = (jb * n + j) * na + ja; cannam@95: c_re(b[k]) = c_re(a[k]) * c - c_im(a[k]) * s; cannam@95: c_im(b[k]) = c_re(a[k]) * s + c_im(a[k]) * c; cannam@95: } cannam@95: } cannam@95: } cannam@95: cannam@95: /* A = alpha * A (complex, in place) */ cannam@95: void ascale(C *a, C alpha, int n) cannam@95: { cannam@95: int i; cannam@95: cannam@95: for (i = 0; i < n; ++i) { cannam@95: R xr = c_re(a[i]), xi = c_im(a[i]); cannam@95: c_re(a[i]) = xr * c_re(alpha) - xi * c_im(alpha); cannam@95: c_im(a[i]) = xr * c_im(alpha) + xi * c_re(alpha); cannam@95: } cannam@95: } cannam@95: cannam@95: cannam@95: double acmp(C *a, C *b, int n, const char *test, double tol) cannam@95: { cannam@95: double d = aerror(a, b, n); cannam@95: if (d > tol) { cannam@95: ovtpvt_err("Found relative error %e (%s)\n", d, test); cannam@95: cannam@95: { cannam@95: int i, N; cannam@95: N = n > 300 && verbose <= 2 ? 300 : n; cannam@95: for (i = 0; i < N; ++i) cannam@95: ovtpvt_err("%8d %16.12f %16.12f %16.12f %16.12f\n", i, cannam@95: (double) c_re(a[i]), (double) c_im(a[i]), cannam@95: (double) c_re(b[i]), (double) c_im(b[i])); cannam@95: } cannam@95: cannam@95: bench_exit(EXIT_FAILURE); cannam@95: } cannam@95: return d; cannam@95: } cannam@95: cannam@95: cannam@95: /* cannam@95: * Implementation of the FFT tester described in cannam@95: * cannam@95: * Funda Ergün. Testing multivariate linear functions: Overcoming the cannam@95: * generator bottleneck. In Proceedings of the Twenty-Seventh Annual cannam@95: * ACM Symposium on the Theory of Computing, pages 407-416, Las Vegas, cannam@95: * Nevada, 29 May--1 June 1995. cannam@95: * cannam@95: * Also: F. Ergun, S. R. Kumar, and D. Sivakumar, "Self-testing without cannam@95: * the generator bottleneck," SIAM J. on Computing 29 (5), 1630-51 (2000). cannam@95: */ cannam@95: cannam@95: static double impulse0(dofft_closure *k, cannam@95: int n, int vecn, cannam@95: C *inA, C *inB, C *inC, cannam@95: C *outA, C *outB, C *outC, cannam@95: C *tmp, int rounds, double tol) cannam@95: { cannam@95: int N = n * vecn; cannam@95: double e = 0.0; cannam@95: int j; cannam@95: cannam@95: k->apply(k, inA, tmp); cannam@95: e = dmax(e, acmp(tmp, outA, N, "impulse 1", tol)); cannam@95: cannam@95: for (j = 0; j < rounds; ++j) { cannam@95: arand(inB, N); cannam@95: asub(inC, inA, inB, N); cannam@95: k->apply(k, inB, outB); cannam@95: k->apply(k, inC, outC); cannam@95: aadd(tmp, outB, outC, N); cannam@95: e = dmax(e, acmp(tmp, outA, N, "impulse", tol)); cannam@95: } cannam@95: return e; cannam@95: } cannam@95: cannam@95: double impulse(dofft_closure *k, cannam@95: int n, int vecn, cannam@95: C *inA, C *inB, C *inC, cannam@95: C *outA, C *outB, C *outC, cannam@95: C *tmp, int rounds, double tol) cannam@95: { cannam@95: int i, j; cannam@95: double e = 0.0; cannam@95: cannam@95: /* check impulsive input */ cannam@95: for (i = 0; i < vecn; ++i) { cannam@95: R x = (sqrt(n)*(i+1)) / (double)(vecn+1); cannam@95: for (j = 0; j < n; ++j) { cannam@95: c_re(inA[j + i * n]) = 0; cannam@95: c_im(inA[j + i * n]) = 0; cannam@95: c_re(outA[j + i * n]) = x; cannam@95: c_im(outA[j + i * n]) = 0; cannam@95: } cannam@95: c_re(inA[i * n]) = x; cannam@95: c_im(inA[i * n]) = 0; cannam@95: } cannam@95: cannam@95: e = dmax(e, impulse0(k, n, vecn, inA, inB, inC, outA, outB, outC, cannam@95: tmp, rounds, tol)); cannam@95: cannam@95: /* check constant input */ cannam@95: for (i = 0; i < vecn; ++i) { cannam@95: R x = (i+1) / ((double)(vecn+1) * sqrt(n)); cannam@95: for (j = 0; j < n; ++j) { cannam@95: c_re(inA[j + i * n]) = x; cannam@95: c_im(inA[j + i * n]) = 0; cannam@95: c_re(outA[j + i * n]) = 0; cannam@95: c_im(outA[j + i * n]) = 0; cannam@95: } cannam@95: c_re(outA[i * n]) = n * x; cannam@95: c_im(outA[i * n]) = 0; cannam@95: } cannam@95: cannam@95: e = dmax(e, impulse0(k, n, vecn, inA, inB, inC, outA, outB, outC, cannam@95: tmp, rounds, tol)); cannam@95: return e; cannam@95: } cannam@95: cannam@95: double linear(dofft_closure *k, int realp, cannam@95: int n, C *inA, C *inB, C *inC, C *outA, cannam@95: C *outB, C *outC, C *tmp, int rounds, double tol) cannam@95: { cannam@95: int j; cannam@95: double e = 0.0; cannam@95: cannam@95: for (j = 0; j < rounds; ++j) { cannam@95: C alpha, beta; cannam@95: c_re(alpha) = mydrand(); cannam@95: c_im(alpha) = realp ? 0.0 : mydrand(); cannam@95: c_re(beta) = mydrand(); cannam@95: c_im(beta) = realp ? 0.0 : mydrand(); cannam@95: arand(inA, n); cannam@95: arand(inB, n); cannam@95: k->apply(k, inA, outA); cannam@95: k->apply(k, inB, outB); cannam@95: cannam@95: ascale(outA, alpha, n); cannam@95: ascale(outB, beta, n); cannam@95: aadd(tmp, outA, outB, n); cannam@95: ascale(inA, alpha, n); cannam@95: ascale(inB, beta, n); cannam@95: aadd(inC, inA, inB, n); cannam@95: k->apply(k, inC, outC); cannam@95: cannam@95: e = dmax(e, acmp(outC, tmp, n, "linear", tol)); cannam@95: } cannam@95: return e; cannam@95: } cannam@95: cannam@95: cannam@95: cannam@95: double tf_shift(dofft_closure *k, cannam@95: int realp, const bench_tensor *sz, cannam@95: int n, int vecn, double sign, cannam@95: C *inA, C *inB, C *outA, C *outB, C *tmp, cannam@95: int rounds, double tol, int which_shift) cannam@95: { cannam@95: int nb, na, dim, N = n * vecn; cannam@95: int i, j; cannam@95: double e = 0.0; cannam@95: cannam@95: /* test 3: check the time-shift property */ cannam@95: /* the paper performs more tests, but this code should be fine too */ cannam@95: cannam@95: nb = 1; cannam@95: na = n; cannam@95: cannam@95: /* check shifts across all SZ dimensions */ cannam@95: for (dim = 0; dim < sz->rnk; ++dim) { cannam@95: int ncur = sz->dims[dim].n; cannam@95: cannam@95: na /= ncur; cannam@95: cannam@95: for (j = 0; j < rounds; ++j) { cannam@95: arand(inA, N); cannam@95: cannam@95: if (which_shift == TIME_SHIFT) { cannam@95: for (i = 0; i < vecn; ++i) { cannam@95: if (realp) mkreal(inA + i * n, n); cannam@95: arol(inB + i * n, inA + i * n, ncur, nb, na); cannam@95: } cannam@95: k->apply(k, inA, outA); cannam@95: k->apply(k, inB, outB); cannam@95: for (i = 0; i < vecn; ++i) cannam@95: aphase_shift(tmp + i * n, outB + i * n, ncur, cannam@95: nb, na, sign); cannam@95: e = dmax(e, acmp(tmp, outA, N, "time shift", tol)); cannam@95: } else { cannam@95: for (i = 0; i < vecn; ++i) { cannam@95: if (realp) cannam@95: mkhermitian(inA + i * n, sz->rnk, sz->dims, 1); cannam@95: aphase_shift(inB + i * n, inA + i * n, ncur, cannam@95: nb, na, -sign); cannam@95: } cannam@95: k->apply(k, inA, outA); cannam@95: k->apply(k, inB, outB); cannam@95: for (i = 0; i < vecn; ++i) cannam@95: arol(tmp + i * n, outB + i * n, ncur, nb, na); cannam@95: e = dmax(e, acmp(tmp, outA, N, "freq shift", tol)); cannam@95: } cannam@95: } cannam@95: cannam@95: nb *= ncur; cannam@95: } cannam@95: return e; cannam@95: } cannam@95: cannam@95: cannam@95: void preserves_input(dofft_closure *k, aconstrain constrain, cannam@95: int n, C *inA, C *inB, C *outB, int rounds) cannam@95: { cannam@95: int j; cannam@95: int recopy_input = k->recopy_input; cannam@95: cannam@95: k->recopy_input = 1; cannam@95: for (j = 0; j < rounds; ++j) { cannam@95: arand(inA, n); cannam@95: if (constrain) cannam@95: constrain(inA, n); cannam@95: cannam@95: acopy(inB, inA, n); cannam@95: k->apply(k, inB, outB); cannam@95: acmp(inB, inA, n, "preserves_input", 0.0); cannam@95: } cannam@95: k->recopy_input = recopy_input; cannam@95: } cannam@95: cannam@95: cannam@95: /* Make a copy of the size tensor, with the same dimensions, but with cannam@95: the strides corresponding to a "packed" row-major array with the cannam@95: given stride. */ cannam@95: bench_tensor *verify_pack(const bench_tensor *sz, int s) cannam@95: { cannam@95: bench_tensor *x = tensor_copy(sz); cannam@95: if (FINITE_RNK(x->rnk) && x->rnk > 0) { cannam@95: int i; cannam@95: x->dims[x->rnk - 1].is = s; cannam@95: x->dims[x->rnk - 1].os = s; cannam@95: for (i = x->rnk - 1; i > 0; --i) { cannam@95: x->dims[i - 1].is = x->dims[i].is * x->dims[i].n; cannam@95: x->dims[i - 1].os = x->dims[i].os * x->dims[i].n; cannam@95: } cannam@95: } cannam@95: return x; cannam@95: } cannam@95: cannam@95: static int all_zero(C *a, int n) cannam@95: { cannam@95: int i; cannam@95: for (i = 0; i < n; ++i) cannam@95: if (c_re(a[i]) != 0.0 || c_im(a[i]) != 0.0) cannam@95: return 0; cannam@95: return 1; cannam@95: } cannam@95: cannam@95: static int one_accuracy_test(dofft_closure *k, aconstrain constrain, cannam@95: int sign, int n, C *a, C *b, cannam@95: double t[6]) cannam@95: { cannam@95: double err[6]; cannam@95: cannam@95: if (constrain) cannam@95: constrain(a, n); cannam@95: cannam@95: if (all_zero(a, n)) cannam@95: return 0; cannam@95: cannam@95: k->apply(k, a, b); cannam@95: fftaccuracy(n, a, b, sign, err); cannam@95: cannam@95: t[0] += err[0]; cannam@95: t[1] += err[1] * err[1]; cannam@95: t[2] = dmax(t[2], err[2]); cannam@95: t[3] += err[3]; cannam@95: t[4] += err[4] * err[4]; cannam@95: t[5] = dmax(t[5], err[5]); cannam@95: cannam@95: return 1; cannam@95: } cannam@95: cannam@95: void accuracy_test(dofft_closure *k, aconstrain constrain, cannam@95: int sign, int n, C *a, C *b, int rounds, int impulse_rounds, cannam@95: double t[6]) cannam@95: { cannam@95: int r, i; cannam@95: int ntests = 0; cannam@95: bench_complex czero = {0, 0}; cannam@95: cannam@95: for (i = 0; i < 6; ++i) t[i] = 0.0; cannam@95: cannam@95: for (r = 0; r < rounds; ++r) { cannam@95: arand(a, n); cannam@95: if (one_accuracy_test(k, constrain, sign, n, a, b, t)) cannam@95: ++ntests; cannam@95: } cannam@95: cannam@95: /* impulses at beginning of array */ cannam@95: for (r = 0; r < impulse_rounds; ++r) { cannam@95: if (r > n - r - 1) cannam@95: continue; cannam@95: cannam@95: caset(a, n, czero); cannam@95: c_re(a[r]) = c_im(a[r]) = 1.0; cannam@95: cannam@95: if (one_accuracy_test(k, constrain, sign, n, a, b, t)) cannam@95: ++ntests; cannam@95: } cannam@95: cannam@95: /* impulses at end of array */ cannam@95: for (r = 0; r < impulse_rounds; ++r) { cannam@95: if (r <= n - r - 1) cannam@95: continue; cannam@95: cannam@95: caset(a, n, czero); cannam@95: c_re(a[n - r - 1]) = c_im(a[n - r - 1]) = 1.0; cannam@95: cannam@95: if (one_accuracy_test(k, constrain, sign, n, a, b, t)) cannam@95: ++ntests; cannam@95: } cannam@95: cannam@95: /* randomly-located impulses */ cannam@95: for (r = 0; r < impulse_rounds; ++r) { cannam@95: caset(a, n, czero); cannam@95: i = rand() % n; cannam@95: c_re(a[i]) = c_im(a[i]) = 1.0; cannam@95: cannam@95: if (one_accuracy_test(k, constrain, sign, n, a, b, t)) cannam@95: ++ntests; cannam@95: } cannam@95: cannam@95: t[0] /= ntests; cannam@95: t[1] = sqrt(t[1] / ntests); cannam@95: t[3] /= ntests; cannam@95: t[4] = sqrt(t[4] / ntests); cannam@95: cannam@95: fftaccuracy_done(); cannam@95: }