annotate src/fftw-3.3.3/dft/vrank-geq1.c @ 83:ae30d91d2ffe

Replace these with versions built using an older toolset (so as to avoid ABI compatibilities when linking on Ubuntu 14.04 for packaging purposes)
author Chris Cannam
date Fri, 07 Feb 2020 11:51:13 +0000
parents 37bf6b4a2645
children
rev   line source
Chris@10 1 /*
Chris@10 2 * Copyright (c) 2003, 2007-11 Matteo Frigo
Chris@10 3 * Copyright (c) 2003, 2007-11 Massachusetts Institute of Technology
Chris@10 4 *
Chris@10 5 * This program is free software; you can redistribute it and/or modify
Chris@10 6 * it under the terms of the GNU General Public License as published by
Chris@10 7 * the Free Software Foundation; either version 2 of the License, or
Chris@10 8 * (at your option) any later version.
Chris@10 9 *
Chris@10 10 * This program is distributed in the hope that it will be useful,
Chris@10 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
Chris@10 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Chris@10 13 * GNU General Public License for more details.
Chris@10 14 *
Chris@10 15 * You should have received a copy of the GNU General Public License
Chris@10 16 * along with this program; if not, write to the Free Software
Chris@10 17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
Chris@10 18 *
Chris@10 19 */
Chris@10 20
Chris@10 21
Chris@10 22
Chris@10 23 /* Plans for handling vector transform loops. These are *just* the
Chris@10 24 loops, and rely on child plans for the actual DFTs.
Chris@10 25
Chris@10 26 They form a wrapper around solvers that don't have apply functions
Chris@10 27 for non-null vectors.
Chris@10 28
Chris@10 29 vrank-geq1 plans also recursively handle the case of multi-dimensional
Chris@10 30 vectors, obviating the need for most solvers to deal with this. We
Chris@10 31 can also play games here, such as reordering the vector loops.
Chris@10 32
Chris@10 33 Each vrank-geq1 plan reduces the vector rank by 1, picking out a
Chris@10 34 dimension determined by the vecloop_dim field of the solver. */
Chris@10 35
Chris@10 36 #include "dft.h"
Chris@10 37
Chris@10 38 typedef struct {
Chris@10 39 solver super;
Chris@10 40 int vecloop_dim;
Chris@10 41 const int *buddies;
Chris@10 42 int nbuddies;
Chris@10 43 } S;
Chris@10 44
Chris@10 45 typedef struct {
Chris@10 46 plan_dft super;
Chris@10 47
Chris@10 48 plan *cld;
Chris@10 49 INT vl;
Chris@10 50 INT ivs, ovs;
Chris@10 51 const S *solver;
Chris@10 52 } P;
Chris@10 53
Chris@10 54 static void apply(const plan *ego_, R *ri, R *ii, R *ro, R *io)
Chris@10 55 {
Chris@10 56 const P *ego = (const P *) ego_;
Chris@10 57 INT i, vl = ego->vl;
Chris@10 58 INT ivs = ego->ivs, ovs = ego->ovs;
Chris@10 59 dftapply cldapply = ((plan_dft *) ego->cld)->apply;
Chris@10 60
Chris@10 61 for (i = 0; i < vl; ++i) {
Chris@10 62 cldapply(ego->cld,
Chris@10 63 ri + i * ivs, ii + i * ivs, ro + i * ovs, io + i * ovs);
Chris@10 64 }
Chris@10 65 }
Chris@10 66
Chris@10 67 static void awake(plan *ego_, enum wakefulness wakefulness)
Chris@10 68 {
Chris@10 69 P *ego = (P *) ego_;
Chris@10 70 X(plan_awake)(ego->cld, wakefulness);
Chris@10 71 }
Chris@10 72
Chris@10 73 static void destroy(plan *ego_)
Chris@10 74 {
Chris@10 75 P *ego = (P *) ego_;
Chris@10 76 X(plan_destroy_internal)(ego->cld);
Chris@10 77 }
Chris@10 78
Chris@10 79 static void print(const plan *ego_, printer *p)
Chris@10 80 {
Chris@10 81 const P *ego = (const P *) ego_;
Chris@10 82 const S *s = ego->solver;
Chris@10 83 p->print(p, "(dft-vrank>=1-x%D/%d%(%p%))",
Chris@10 84 ego->vl, s->vecloop_dim, ego->cld);
Chris@10 85 }
Chris@10 86
Chris@10 87 static int pickdim(const S *ego, const tensor *vecsz, int oop, int *dp)
Chris@10 88 {
Chris@10 89 return X(pickdim)(ego->vecloop_dim, ego->buddies, ego->nbuddies,
Chris@10 90 vecsz, oop, dp);
Chris@10 91 }
Chris@10 92
Chris@10 93 static int applicable0(const solver *ego_, const problem *p_, int *dp)
Chris@10 94 {
Chris@10 95 const S *ego = (const S *) ego_;
Chris@10 96 const problem_dft *p = (const problem_dft *) p_;
Chris@10 97
Chris@10 98 return (1
Chris@10 99 && FINITE_RNK(p->vecsz->rnk)
Chris@10 100 && p->vecsz->rnk > 0
Chris@10 101
Chris@10 102 /* do not bother looping over rank-0 problems,
Chris@10 103 since they are handled via rdft */
Chris@10 104 && p->sz->rnk > 0
Chris@10 105
Chris@10 106 && pickdim(ego, p->vecsz, p->ri != p->ro, dp)
Chris@10 107 );
Chris@10 108 }
Chris@10 109
Chris@10 110 static int applicable(const solver *ego_, const problem *p_,
Chris@10 111 const planner *plnr, int *dp)
Chris@10 112 {
Chris@10 113 const S *ego = (const S *)ego_;
Chris@10 114 const problem_dft *p;
Chris@10 115
Chris@10 116 if (!applicable0(ego_, p_, dp)) return 0;
Chris@10 117
Chris@10 118 /* fftw2 behavior */
Chris@10 119 if (NO_VRANK_SPLITSP(plnr) && (ego->vecloop_dim != ego->buddies[0]))
Chris@10 120 return 0;
Chris@10 121
Chris@10 122 p = (const problem_dft *) p_;
Chris@10 123
Chris@10 124 if (NO_UGLYP(plnr)) {
Chris@10 125 /* Heuristic: if the transform is multi-dimensional, and the
Chris@10 126 vector stride is less than the transform size, then we
Chris@10 127 probably want to use a rank>=2 plan first in order to combine
Chris@10 128 this vector with the transform-dimension vectors. */
Chris@10 129 {
Chris@10 130 iodim *d = p->vecsz->dims + *dp;
Chris@10 131 if (1
Chris@10 132 && p->sz->rnk > 1
Chris@10 133 && X(imin)(X(iabs)(d->is), X(iabs)(d->os))
Chris@10 134 < X(tensor_max_index)(p->sz)
Chris@10 135 )
Chris@10 136 return 0;
Chris@10 137 }
Chris@10 138
Chris@10 139 if (NO_NONTHREADEDP(plnr)) return 0; /* prefer threaded version */
Chris@10 140 }
Chris@10 141
Chris@10 142 return 1;
Chris@10 143 }
Chris@10 144
Chris@10 145 static plan *mkplan(const solver *ego_, const problem *p_, planner *plnr)
Chris@10 146 {
Chris@10 147 const S *ego = (const S *) ego_;
Chris@10 148 const problem_dft *p;
Chris@10 149 P *pln;
Chris@10 150 plan *cld;
Chris@10 151 int vdim;
Chris@10 152 iodim *d;
Chris@10 153
Chris@10 154 static const plan_adt padt = {
Chris@10 155 X(dft_solve), awake, print, destroy
Chris@10 156 };
Chris@10 157
Chris@10 158 if (!applicable(ego_, p_, plnr, &vdim))
Chris@10 159 return (plan *) 0;
Chris@10 160 p = (const problem_dft *) p_;
Chris@10 161
Chris@10 162 d = p->vecsz->dims + vdim;
Chris@10 163
Chris@10 164 A(d->n > 1);
Chris@10 165 cld = X(mkplan_d)(plnr,
Chris@10 166 X(mkproblem_dft_d)(
Chris@10 167 X(tensor_copy)(p->sz),
Chris@10 168 X(tensor_copy_except)(p->vecsz, vdim),
Chris@10 169 TAINT(p->ri, d->is), TAINT(p->ii, d->is),
Chris@10 170 TAINT(p->ro, d->os), TAINT(p->io, d->os)));
Chris@10 171 if (!cld) return (plan *) 0;
Chris@10 172
Chris@10 173 pln = MKPLAN_DFT(P, &padt, apply);
Chris@10 174
Chris@10 175 pln->cld = cld;
Chris@10 176 pln->vl = d->n;
Chris@10 177 pln->ivs = d->is;
Chris@10 178 pln->ovs = d->os;
Chris@10 179
Chris@10 180 pln->solver = ego;
Chris@10 181 X(ops_zero)(&pln->super.super.ops);
Chris@10 182 pln->super.super.ops.other = 3.14159; /* magic to prefer codelet loops */
Chris@10 183 X(ops_madd2)(pln->vl, &cld->ops, &pln->super.super.ops);
Chris@10 184
Chris@10 185 if (p->sz->rnk != 1 || (p->sz->dims[0].n > 64))
Chris@10 186 pln->super.super.pcost = pln->vl * cld->pcost;
Chris@10 187
Chris@10 188 return &(pln->super.super);
Chris@10 189 }
Chris@10 190
Chris@10 191 static solver *mksolver(int vecloop_dim, const int *buddies, int nbuddies)
Chris@10 192 {
Chris@10 193 static const solver_adt sadt = { PROBLEM_DFT, mkplan, 0 };
Chris@10 194 S *slv = MKSOLVER(S, &sadt);
Chris@10 195 slv->vecloop_dim = vecloop_dim;
Chris@10 196 slv->buddies = buddies;
Chris@10 197 slv->nbuddies = nbuddies;
Chris@10 198 return &(slv->super);
Chris@10 199 }
Chris@10 200
Chris@10 201 void X(dft_vrank_geq1_register)(planner *p)
Chris@10 202 {
Chris@10 203 int i;
Chris@10 204
Chris@10 205 /* FIXME: Should we try other vecloop_dim values? */
Chris@10 206 static const int buddies[] = { 1, -1 };
Chris@10 207
Chris@10 208 const int nbuddies = (int)(sizeof(buddies) / sizeof(buddies[0]));
Chris@10 209
Chris@10 210 for (i = 0; i < nbuddies; ++i)
Chris@10 211 REGISTER_SOLVER(p, mksolver(buddies[i], buddies, nbuddies));
Chris@10 212 }