diff options
author | scuri <scuri> | 2008-10-17 06:10:15 +0000 |
---|---|---|
committer | scuri <scuri> | 2008-10-17 06:10:15 +0000 |
commit | 5a422aba704c375a307a902bafe658342e209906 (patch) | |
tree | 5005011e086bb863d8fb587ad3319bbec59b2447 /src/fftw3/rdft/buffered2.c |
First commit - moving from LuaForge to SourceForge
Diffstat (limited to 'src/fftw3/rdft/buffered2.c')
-rw-r--r-- | src/fftw3/rdft/buffered2.c | 418 |
1 files changed, 418 insertions, 0 deletions
diff --git a/src/fftw3/rdft/buffered2.c b/src/fftw3/rdft/buffered2.c new file mode 100644 index 0000000..54fc7bc --- /dev/null +++ b/src/fftw3/rdft/buffered2.c @@ -0,0 +1,418 @@ +/* + * Copyright (c) 2003 Matteo Frigo + * Copyright (c) 2003 Massachusetts Institute of Technology + * + * This program is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 2 of the License, or + * (at your option) any later version. + * + * This program 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 this program; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * + */ + +/* $Id: buffered2.c,v 1.1 2008/10/17 06:11:29 scuri Exp $ */ + +#include "rdft.h" + +typedef struct { + int nbuf; + int maxbufsz; + int skew_alignment; + int skew; + const char *nam; +} bufadt; + +typedef struct { + solver super; + const bufadt *adt; +} S; + +typedef struct { + plan_rdft2 super; + + plan *cld, *cldrest; + int n, vl, nbuf, bufdist; + int os, ivs, ovs; + + const S *slv; +} P; + +/***************************************************************************/ + +/* FIXME: have alternate copy functions that push a vector loop inside + the n loops? */ + +/* copy halfcomplex array r (contiguous) to complex (strided) array rio/iio. */ +static void hc2c(int n, R *r, R *rio, R *iio, int os) +{ + int n2 = (n + 1) / 2; + int i; + + rio[0] = r[0]; + iio[0] = 0; + for (i = 1; i < ((n2 - 1) & 3) + 1; ++i) { + rio[i * os] = r[i]; + iio[i * os] = r[n - i]; + } + for (; i < n2; i += 4) { + R r0, r1, r2, r3; + R i0, i1, i2, i3; + r0 = r[i]; + r1 = r[i + 1]; + r2 = r[i + 2]; + r3 = r[i + 3]; + i3 = r[n - (i + 3)]; + i2 = r[n - (i + 2)]; + i1 = r[n - (i + 1)]; + i0 = r[n - i]; + rio[i * os] = r0; + iio[i * os] = i0; + rio[(i + 1) * os] = r1; + iio[(i + 1) * os] = i1; + rio[(i + 2) * os] = r2; + iio[(i + 2) * os] = i2; + rio[(i + 3) * os] = r3; + iio[(i + 3) * os] = i3; + } + if ((n & 1) == 0) { /* store the Nyquist frequency */ + rio[n2 * os] = r[n2]; + iio[n2 * os] = 0.0; + } +} + +/* reverse of hc2c */ +static void c2hc(int n, R *rio, R *iio, int is, R *r) +{ + int n2 = (n + 1) / 2; + int i; + + r[0] = rio[0]; + for (i = 1; i < ((n2 - 1) & 3) + 1; ++i) { + r[i] = rio[i * is]; + r[n - i] = iio[i * is]; + } + for (; i < n2; i += 4) { + R r0, r1, r2, r3; + R i0, i1, i2, i3; + r0 = rio[i * is]; + i0 = iio[i * is]; + r1 = rio[(i + 1) * is]; + i1 = iio[(i + 1) * is]; + r2 = rio[(i + 2) * is]; + i2 = iio[(i + 2) * is]; + r3 = rio[(i + 3) * is]; + i3 = iio[(i + 3) * is]; + r[i] = r0; + r[i + 1] = r1; + r[i + 2] = r2; + r[i + 3] = r3; + r[n - (i + 3)] = i3; + r[n - (i + 2)] = i2; + r[n - (i + 1)] = i1; + r[n - i] = i0; + } + if ((n & 1) == 0) /* store the Nyquist frequency */ + r[n2] = rio[n2 * is]; +} + +/***************************************************************************/ + +static void apply_r2hc(const plan *ego_, R *r, R *rio, R *iio) +{ + const P *ego = (const P *) ego_; + plan_rdft *cld = (plan_rdft *) ego->cld; + int i, j, vl = ego->vl, nbuf = ego->nbuf, bufdist = ego->bufdist; + int n = ego->n; + int ivs = ego->ivs, ovs = ego->ovs, os = ego->os; + R *bufs; + + bufs = (R *)MALLOC(sizeof(R) * nbuf * bufdist, BUFFERS); + + for (i = nbuf; i <= vl; i += nbuf) { + /* transform to bufs: */ + cld->apply((plan *) cld, r, bufs); + r += ivs; + + /* copy back */ + for (j = 0; j < nbuf; ++j, rio += ovs, iio += ovs) + hc2c(n, bufs + j*bufdist, rio, iio, os); + } + + /* Do the remaining transforms, if any: */ + { + plan_rdft *cldrest = (plan_rdft *) ego->cldrest; + R *b = bufs; + cldrest->apply((plan *) cldrest, r, bufs); + for (i -= nbuf; i < vl; ++i, rio += ovs, iio += ovs, b += bufdist) + hc2c(n, b, rio, iio, os); + } + + X(ifree)(bufs); +} + +static void apply_hc2r(const plan *ego_, R *r, R *rio, R *iio) +{ + const P *ego = (const P *) ego_; + plan_rdft *cld = (plan_rdft *) ego->cld; + int i, j, vl = ego->vl, nbuf = ego->nbuf, bufdist = ego->bufdist; + int n = ego->n; + int ivs = ego->ivs, ovs = ego->ovs, is = ego->os; + R *bufs; + + bufs = (R *)MALLOC(sizeof(R) * nbuf * bufdist, BUFFERS); + + for (i = nbuf; i <= vl; i += nbuf) { + /* copy to bufs */ + for (j = 0; j < nbuf; ++j, rio += ivs, iio += ivs) + c2hc(n, rio, iio, is, bufs + j*bufdist); + + /* transform back: */ + cld->apply((plan *) cld, bufs, r); + r += ovs; + } + + /* Do the remaining transforms, if any: */ + { + plan_rdft *cldrest; + R *b = bufs; + for (i -= nbuf; i < vl; ++i, rio += ivs, iio += ivs, b += bufdist) + c2hc(n, rio, iio, is, b); + cldrest = (plan_rdft *) ego->cldrest; + cldrest->apply((plan *) cldrest, bufs, r); + } + + X(ifree)(bufs); +} + +static void awake(plan *ego_, int flg) +{ + P *ego = (P *) ego_; + + AWAKE(ego->cld, flg); + AWAKE(ego->cldrest, flg); +} + +static void destroy(plan *ego_) +{ + P *ego = (P *) ego_; + X(plan_destroy_internal)(ego->cldrest); + X(plan_destroy_internal)(ego->cld); +} + +static void print(const plan *ego_, printer *p) +{ + const P *ego = (const P *) ego_; + p->print(p, "(%s-%s-%d%v/%d-%d%(%p%)%(%p%))", + ego->slv->adt->nam, + ego->super.apply == apply_r2hc ? "r2hc" : "hc2r", + ego->n, ego->nbuf, + ego->vl, ego->bufdist % ego->n, + ego->cld, ego->cldrest); +} + +static int min_nbuf(const problem_rdft2 *p, int n, int vl) +{ + int is, os, ivs, ovs; + + if (p->r != p->rio && p->r != p->iio) + return 1; + if (X(rdft2_inplace_strides(p, RNK_MINFTY))) + return 1; + A(p->vecsz->rnk == 1); /* rank 0 and MINFTY are inplace */ + + X(rdft2_strides)(p->kind, p->sz->dims, &is, &os); + X(rdft2_strides)(p->kind, p->vecsz->dims, &ivs, &ovs); + + /* handle one potentially common case: "contiguous" real and + complex arrays, which overlap because of the differing sizes. */ + if (n * X(iabs)(is) <= X(iabs)(ivs) + && (n/2 + 1) * X(iabs)(os) <= X(iabs)(ovs) + && X(iabs)((int) (p->rio - p->iio)) <= X(iabs)(os) + && ivs > 0 && ovs > 0) { + int vsmin = X(imin)(ivs, ovs); + int vsmax = X(imax)(ivs, ovs); + return(((vsmax - vsmin) * vl + vsmin - 1) / vsmin); + } + + return vl; /* punt: just buffer the whole vector */ +} + +static int compute_nbuf(int n, int vl, const S *ego) +{ + return X(compute_nbuf)(n, vl, ego->adt->nbuf, ego->adt->maxbufsz); +} + +static int toobig(int n, const S *ego) +{ + return (n > ego->adt->maxbufsz); +} + +static int applicable0(const problem *p_, const S *ego, const planner *plnr) +{ + UNUSED(ego); + if (RDFT2P(p_)) { + const problem_rdft2 *p = (const problem_rdft2 *) p_; + return(p->vecsz->rnk <= 1 && p->sz->rnk == 1 + && !(toobig(p->sz->dims[0].n, ego) && CONSERVE_MEMORYP(plnr))); + } + return 0; +} + +static int applicable(const problem *p_, const S *ego, const planner *plnr) +{ + const problem_rdft2 *p; + + if (NO_BUFFERINGP(plnr)) return 0; + if (!applicable0(p_, ego, plnr)) return 0; + + p = (const problem_rdft2 *) p_; + if (NO_UGLYP(plnr)) { + if (p->r != p->rio && p->r != p->iio) return 0; + if (toobig(p->sz->dims[0].n, ego)) return 0; + } + return 1; +} + +static plan *mkplan(const solver *ego_, const problem *p_, planner *plnr) +{ + const S *ego = (const S *) ego_; + const bufadt *adt = ego->adt; + P *pln; + plan *cld = (plan *) 0; + plan *cldrest = (plan *) 0; + problem *cldp = 0; + const problem_rdft2 *p = (const problem_rdft2 *) p_; + R *bufs = (R *) 0; + int nbuf = 0, bufdist, n, vl; + int ivs, ovs; + + static const plan_adt padt = { + X(rdft2_solve), awake, print, destroy + }; + + + if (!applicable(p_, ego, plnr)) + goto nada; + + n = p->sz->dims[0].n; + X(tensor_tornk1)(p->vecsz, &vl, &ivs, &ovs); + + nbuf = X(imax)(compute_nbuf(n, vl, ego), min_nbuf(p, n, vl)); + A(nbuf > 0); + + /* + * Determine BUFDIST, the offset between successive array bufs. + * bufdist = n + skew, where skew is chosen such that bufdist % + * skew_alignment = skew. + */ + if (vl == 1) { + bufdist = n; + } else { + bufdist = + n + ((adt->skew_alignment + adt->skew - n % adt->skew_alignment) + % adt->skew_alignment); + A(p->vecsz->rnk == 1); + } + + /* initial allocation for the purpose of planning */ + bufs = (R *) MALLOC(sizeof(R) * nbuf * bufdist, BUFFERS); + + if (p->kind == R2HC) + cldp = + X(mkproblem_rdft_d)( + X(mktensor_1d)(n, p->sz->dims[0].is, 1), + X(mktensor_1d)(nbuf, ivs, bufdist), + TAINT(p->r, ivs * nbuf), bufs, &p->kind); + else { + A(p->kind == HC2R); + plnr->problem_flags |= DESTROY_INPUT; /* always ok to destroy buf */ + cldp = + X(mkproblem_rdft_d)( + X(mktensor_1d)(n, 1, p->sz->dims[0].os), + X(mktensor_1d)(nbuf, bufdist, ovs), + bufs, TAINT(p->r, ovs * nbuf), &p->kind); + } + if (!(cld = X(mkplan_d)(plnr, cldp))) goto nada; + + /* plan the leftover transforms (cldrest): */ + if (p->kind == R2HC) + cldp = + X(mkproblem_rdft_d)( + X(mktensor_1d)(n, p->sz->dims[0].is, 1), + X(mktensor_1d)(vl % nbuf, ivs, bufdist), + p->r + ivs * (nbuf * (vl / nbuf)), bufs, &p->kind); + else /* HC2R */ + cldp = + X(mkproblem_rdft_d)( + X(mktensor_1d)(n, 1, p->sz->dims[0].os), + X(mktensor_1d)(vl % nbuf, bufdist, ovs), + bufs, p->r + ovs * (nbuf * (vl / nbuf)), &p->kind); + if (!(cldrest = X(mkplan_d)(plnr, cldp))) goto nada; + + /* deallocate buffers, let apply() allocate them for real */ + X(ifree)(bufs); + bufs = 0; + + pln = MKPLAN_RDFT2(P, &padt, p->kind == R2HC ? apply_r2hc : apply_hc2r); + pln->cld = cld; + pln->cldrest = cldrest; + pln->slv = ego; + pln->n = n; + pln->vl = vl; + if (p->kind == R2HC) { + pln->ivs = ivs * nbuf; + pln->ovs = ovs; + pln->os = p->sz->dims[0].os; /* stride of rio/iio */ + } + else { /* HC2R */ + pln->ivs = ivs; + pln->ovs = ovs * nbuf; + pln->os = p->sz->dims[0].is; /* stride of rio/iio */ + } + + + pln->nbuf = nbuf; + pln->bufdist = bufdist; + + X(ops_madd)(vl / nbuf, &cld->ops, &cldrest->ops, + &pln->super.super.ops); + pln->super.super.ops.other += (p->kind == R2HC ? (n + 2) : n) * vl; + + return &(pln->super.super); + + nada: + X(ifree0)(bufs); + X(plan_destroy_internal)(cldrest); + X(plan_destroy_internal)(cld); + return (plan *) 0; +} + +static solver *mksolver(const bufadt *adt) +{ + static const solver_adt sadt = { mkplan }; + S *slv = MKSOLVER(S, &sadt); + slv->adt = adt; + return &(slv->super); +} + +void X(rdft2_buffered_register)(planner *p) +{ + /* FIXME: what are good defaults? */ + static const bufadt adt = { + /* nbuf */ 8, + /* maxbufsz */ (65536 / sizeof(R)), + /* skew_alignment */ 8, + /* skew */ 5, + /* nam */ "rdft2-buffered" + }; + + REGISTER_SOLVER(p, mksolver(&adt)); +} |