annotate src/fftw-3.3.8/rdft/ct-hc2c-direct.c @ 82:d0c2a83c1364

Add FFTW 3.3.8 source, and a Linux build
author Chris Cannam
date Tue, 19 Nov 2019 14:52:55 +0000
parents
children
rev   line source
Chris@82 1 /*
Chris@82 2 * Copyright (c) 2003, 2007-14 Matteo Frigo
Chris@82 3 * Copyright (c) 2003, 2007-14 Massachusetts Institute of Technology
Chris@82 4 *
Chris@82 5 * This program is free software; you can redistribute it and/or modify
Chris@82 6 * it under the terms of the GNU General Public License as published by
Chris@82 7 * the Free Software Foundation; either version 2 of the License, or
Chris@82 8 * (at your option) any later version.
Chris@82 9 *
Chris@82 10 * This program is distributed in the hope that it will be useful,
Chris@82 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
Chris@82 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Chris@82 13 * GNU General Public License for more details.
Chris@82 14 *
Chris@82 15 * You should have received a copy of the GNU General Public License
Chris@82 16 * along with this program; if not, write to the Free Software
Chris@82 17 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
Chris@82 18 *
Chris@82 19 */
Chris@82 20
Chris@82 21
Chris@82 22 #include "ct-hc2c.h"
Chris@82 23
Chris@82 24 typedef struct {
Chris@82 25 hc2c_solver super;
Chris@82 26 const hc2c_desc *desc;
Chris@82 27 int bufferedp;
Chris@82 28 khc2c k;
Chris@82 29 } S;
Chris@82 30
Chris@82 31 typedef struct {
Chris@82 32 plan_hc2c super;
Chris@82 33 khc2c k;
Chris@82 34 plan *cld0, *cldm; /* children for 0th and middle butterflies */
Chris@82 35 INT r, m, v, extra_iter;
Chris@82 36 INT ms, vs;
Chris@82 37 stride rs, brs;
Chris@82 38 twid *td;
Chris@82 39 const S *slv;
Chris@82 40 } P;
Chris@82 41
Chris@82 42 /*************************************************************
Chris@82 43 Nonbuffered code
Chris@82 44 *************************************************************/
Chris@82 45 static void apply(const plan *ego_, R *cr, R *ci)
Chris@82 46 {
Chris@82 47 const P *ego = (const P *) ego_;
Chris@82 48 plan_rdft2 *cld0 = (plan_rdft2 *) ego->cld0;
Chris@82 49 plan_rdft2 *cldm = (plan_rdft2 *) ego->cldm;
Chris@82 50 INT i, m = ego->m, v = ego->v;
Chris@82 51 INT ms = ego->ms, vs = ego->vs;
Chris@82 52
Chris@82 53 for (i = 0; i < v; ++i, cr += vs, ci += vs) {
Chris@82 54 cld0->apply((plan *) cld0, cr, ci, cr, ci);
Chris@82 55 ego->k(cr + ms, ci + ms, cr + (m-1)*ms, ci + (m-1)*ms,
Chris@82 56 ego->td->W, ego->rs, 1, (m+1)/2, ms);
Chris@82 57 cldm->apply((plan *) cldm, cr + (m/2)*ms, ci + (m/2)*ms,
Chris@82 58 cr + (m/2)*ms, ci + (m/2)*ms);
Chris@82 59 }
Chris@82 60 }
Chris@82 61
Chris@82 62 static void apply_extra_iter(const plan *ego_, R *cr, R *ci)
Chris@82 63 {
Chris@82 64 const P *ego = (const P *) ego_;
Chris@82 65 plan_rdft2 *cld0 = (plan_rdft2 *) ego->cld0;
Chris@82 66 plan_rdft2 *cldm = (plan_rdft2 *) ego->cldm;
Chris@82 67 INT i, m = ego->m, v = ego->v;
Chris@82 68 INT ms = ego->ms, vs = ego->vs;
Chris@82 69 INT mm = (m-1)/2;
Chris@82 70
Chris@82 71 for (i = 0; i < v; ++i, cr += vs, ci += vs) {
Chris@82 72 cld0->apply((plan *) cld0, cr, ci, cr, ci);
Chris@82 73
Chris@82 74 /* for 4-way SIMD when (m+1)/2-1 is odd: iterate over an
Chris@82 75 even vector length MM-1, and then execute the last
Chris@82 76 iteration as a 2-vector with vector stride 0. The
Chris@82 77 twiddle factors of the second half of the last iteration
Chris@82 78 are bogus, but we only store the results of the first
Chris@82 79 half. */
Chris@82 80 ego->k(cr + ms, ci + ms, cr + (m-1)*ms, ci + (m-1)*ms,
Chris@82 81 ego->td->W, ego->rs, 1, mm, ms);
Chris@82 82 ego->k(cr + mm*ms, ci + mm*ms, cr + (m-mm)*ms, ci + (m-mm)*ms,
Chris@82 83 ego->td->W, ego->rs, mm, mm+2, 0);
Chris@82 84 cldm->apply((plan *) cldm, cr + (m/2)*ms, ci + (m/2)*ms,
Chris@82 85 cr + (m/2)*ms, ci + (m/2)*ms);
Chris@82 86 }
Chris@82 87
Chris@82 88 }
Chris@82 89
Chris@82 90 /*************************************************************
Chris@82 91 Buffered code
Chris@82 92 *************************************************************/
Chris@82 93
Chris@82 94 /* should not be 2^k to avoid associativity conflicts */
Chris@82 95 static INT compute_batchsize(INT radix)
Chris@82 96 {
Chris@82 97 /* round up to multiple of 4 */
Chris@82 98 radix += 3;
Chris@82 99 radix &= -4;
Chris@82 100
Chris@82 101 return (radix + 2);
Chris@82 102 }
Chris@82 103
Chris@82 104 static void dobatch(const P *ego, R *Rp, R *Ip, R *Rm, R *Im,
Chris@82 105 INT mb, INT me, INT extra_iter, R *bufp)
Chris@82 106 {
Chris@82 107 INT b = WS(ego->brs, 1);
Chris@82 108 INT rs = WS(ego->rs, 1);
Chris@82 109 INT ms = ego->ms;
Chris@82 110 R *bufm = bufp + b - 2;
Chris@82 111 INT n = me - mb;
Chris@82 112
Chris@82 113 X(cpy2d_pair_ci)(Rp + mb * ms, Ip + mb * ms, bufp, bufp + 1,
Chris@82 114 ego->r / 2, rs, b,
Chris@82 115 n, ms, 2);
Chris@82 116 X(cpy2d_pair_ci)(Rm - mb * ms, Im - mb * ms, bufm, bufm + 1,
Chris@82 117 ego->r / 2, rs, b,
Chris@82 118 n, -ms, -2);
Chris@82 119
Chris@82 120 if (extra_iter) {
Chris@82 121 /* initialize the extra_iter element to 0. It would be ok
Chris@82 122 to leave it uninitialized, since we transform uninitialized
Chris@82 123 data and ignore the result. However, we want to avoid
Chris@82 124 FP exceptions in case somebody is trapping them. */
Chris@82 125 A(n < compute_batchsize(ego->r));
Chris@82 126 X(zero1d_pair)(bufp + 2*n, bufp + 1 + 2*n, ego->r / 2, b);
Chris@82 127 X(zero1d_pair)(bufm - 2*n, bufm + 1 - 2*n, ego->r / 2, b);
Chris@82 128 }
Chris@82 129
Chris@82 130 ego->k(bufp, bufp + 1, bufm, bufm + 1, ego->td->W,
Chris@82 131 ego->brs, mb, me + extra_iter, 2);
Chris@82 132 X(cpy2d_pair_co)(bufp, bufp + 1, Rp + mb * ms, Ip + mb * ms,
Chris@82 133 ego->r / 2, b, rs,
Chris@82 134 n, 2, ms);
Chris@82 135 X(cpy2d_pair_co)(bufm, bufm + 1, Rm - mb * ms, Im - mb * ms,
Chris@82 136 ego->r / 2, b, rs,
Chris@82 137 n, -2, -ms);
Chris@82 138 }
Chris@82 139
Chris@82 140 static void apply_buf(const plan *ego_, R *cr, R *ci)
Chris@82 141 {
Chris@82 142 const P *ego = (const P *) ego_;
Chris@82 143 plan_rdft2 *cld0 = (plan_rdft2 *) ego->cld0;
Chris@82 144 plan_rdft2 *cldm = (plan_rdft2 *) ego->cldm;
Chris@82 145 INT i, j, ms = ego->ms, v = ego->v;
Chris@82 146 INT batchsz = compute_batchsize(ego->r);
Chris@82 147 R *buf;
Chris@82 148 INT mb = 1, me = (ego->m+1) / 2;
Chris@82 149 size_t bufsz = ego->r * batchsz * 2 * sizeof(R);
Chris@82 150
Chris@82 151 BUF_ALLOC(R *, buf, bufsz);
Chris@82 152
Chris@82 153 for (i = 0; i < v; ++i, cr += ego->vs, ci += ego->vs) {
Chris@82 154 R *Rp = cr;
Chris@82 155 R *Ip = ci;
Chris@82 156 R *Rm = cr + ego->m * ms;
Chris@82 157 R *Im = ci + ego->m * ms;
Chris@82 158
Chris@82 159 cld0->apply((plan *) cld0, Rp, Ip, Rp, Ip);
Chris@82 160
Chris@82 161 for (j = mb; j + batchsz < me; j += batchsz)
Chris@82 162 dobatch(ego, Rp, Ip, Rm, Im, j, j + batchsz, 0, buf);
Chris@82 163
Chris@82 164 dobatch(ego, Rp, Ip, Rm, Im, j, me, ego->extra_iter, buf);
Chris@82 165
Chris@82 166 cldm->apply((plan *) cldm,
Chris@82 167 Rp + me * ms, Ip + me * ms,
Chris@82 168 Rp + me * ms, Ip + me * ms);
Chris@82 169
Chris@82 170 }
Chris@82 171
Chris@82 172 BUF_FREE(buf, bufsz);
Chris@82 173 }
Chris@82 174
Chris@82 175 /*************************************************************
Chris@82 176 common code
Chris@82 177 *************************************************************/
Chris@82 178 static void awake(plan *ego_, enum wakefulness wakefulness)
Chris@82 179 {
Chris@82 180 P *ego = (P *) ego_;
Chris@82 181
Chris@82 182 X(plan_awake)(ego->cld0, wakefulness);
Chris@82 183 X(plan_awake)(ego->cldm, wakefulness);
Chris@82 184 X(twiddle_awake)(wakefulness, &ego->td, ego->slv->desc->tw,
Chris@82 185 ego->r * ego->m, ego->r,
Chris@82 186 (ego->m - 1) / 2 + ego->extra_iter);
Chris@82 187 }
Chris@82 188
Chris@82 189 static void destroy(plan *ego_)
Chris@82 190 {
Chris@82 191 P *ego = (P *) ego_;
Chris@82 192 X(plan_destroy_internal)(ego->cld0);
Chris@82 193 X(plan_destroy_internal)(ego->cldm);
Chris@82 194 X(stride_destroy)(ego->rs);
Chris@82 195 X(stride_destroy)(ego->brs);
Chris@82 196 }
Chris@82 197
Chris@82 198 static void print(const plan *ego_, printer *p)
Chris@82 199 {
Chris@82 200 const P *ego = (const P *) ego_;
Chris@82 201 const S *slv = ego->slv;
Chris@82 202 const hc2c_desc *e = slv->desc;
Chris@82 203
Chris@82 204 if (slv->bufferedp)
Chris@82 205 p->print(p, "(hc2c-directbuf/%D-%D/%D/%D%v \"%s\"%(%p%)%(%p%))",
Chris@82 206 compute_batchsize(ego->r),
Chris@82 207 ego->r, X(twiddle_length)(ego->r, e->tw),
Chris@82 208 ego->extra_iter, ego->v, e->nam,
Chris@82 209 ego->cld0, ego->cldm);
Chris@82 210 else
Chris@82 211 p->print(p, "(hc2c-direct-%D/%D/%D%v \"%s\"%(%p%)%(%p%))",
Chris@82 212 ego->r, X(twiddle_length)(ego->r, e->tw),
Chris@82 213 ego->extra_iter, ego->v, e->nam,
Chris@82 214 ego->cld0, ego->cldm);
Chris@82 215 }
Chris@82 216
Chris@82 217 static int applicable0(const S *ego, rdft_kind kind,
Chris@82 218 INT r, INT rs,
Chris@82 219 INT m, INT ms,
Chris@82 220 INT v, INT vs,
Chris@82 221 const R *cr, const R *ci,
Chris@82 222 const planner *plnr,
Chris@82 223 INT *extra_iter)
Chris@82 224 {
Chris@82 225 const hc2c_desc *e = ego->desc;
Chris@82 226 UNUSED(v);
Chris@82 227
Chris@82 228 return (
Chris@82 229 1
Chris@82 230 && r == e->radix
Chris@82 231 && kind == e->genus->kind
Chris@82 232
Chris@82 233 /* first v-loop iteration */
Chris@82 234 && ((*extra_iter = 0,
Chris@82 235 e->genus->okp(cr + ms, ci + ms, cr + (m-1)*ms, ci + (m-1)*ms,
Chris@82 236 rs, 1, (m+1)/2, ms, plnr))
Chris@82 237 ||
Chris@82 238 (*extra_iter = 1,
Chris@82 239 ((e->genus->okp(cr + ms, ci + ms, cr + (m-1)*ms, ci + (m-1)*ms,
Chris@82 240 rs, 1, (m-1)/2, ms, plnr))
Chris@82 241 &&
Chris@82 242 (e->genus->okp(cr + ms, ci + ms, cr + (m-1)*ms, ci + (m-1)*ms,
Chris@82 243 rs, (m-1)/2, (m-1)/2 + 2, 0, plnr)))))
Chris@82 244
Chris@82 245 /* subsequent v-loop iterations */
Chris@82 246 && (cr += vs, ci += vs, 1)
Chris@82 247
Chris@82 248 && e->genus->okp(cr + ms, ci + ms, cr + (m-1)*ms, ci + (m-1)*ms,
Chris@82 249 rs, 1, (m+1)/2 - *extra_iter, ms, plnr)
Chris@82 250 );
Chris@82 251 }
Chris@82 252
Chris@82 253 static int applicable0_buf(const S *ego, rdft_kind kind,
Chris@82 254 INT r, INT rs,
Chris@82 255 INT m, INT ms,
Chris@82 256 INT v, INT vs,
Chris@82 257 const R *cr, const R *ci,
Chris@82 258 const planner *plnr, INT *extra_iter)
Chris@82 259 {
Chris@82 260 const hc2c_desc *e = ego->desc;
Chris@82 261 INT batchsz, brs;
Chris@82 262 UNUSED(v); UNUSED(rs); UNUSED(ms); UNUSED(vs);
Chris@82 263
Chris@82 264 return (
Chris@82 265 1
Chris@82 266 && r == e->radix
Chris@82 267 && kind == e->genus->kind
Chris@82 268
Chris@82 269 /* ignore cr, ci, use buffer */
Chris@82 270 && (cr = (const R *)0, ci = cr + 1,
Chris@82 271 batchsz = compute_batchsize(r),
Chris@82 272 brs = 4 * batchsz, 1)
Chris@82 273
Chris@82 274 && e->genus->okp(cr, ci, cr + brs - 2, ci + brs - 2,
Chris@82 275 brs, 1, 1+batchsz, 2, plnr)
Chris@82 276
Chris@82 277 && ((*extra_iter = 0,
Chris@82 278 e->genus->okp(cr, ci, cr + brs - 2, ci + brs - 2,
Chris@82 279 brs, 1, 1 + (((m-1)/2) % batchsz), 2, plnr))
Chris@82 280 ||
Chris@82 281 (*extra_iter = 1,
Chris@82 282 e->genus->okp(cr, ci, cr + brs - 2, ci + brs - 2,
Chris@82 283 brs, 1, 1 + 1 + (((m-1)/2) % batchsz), 2, plnr)))
Chris@82 284
Chris@82 285 );
Chris@82 286 }
Chris@82 287
Chris@82 288 static int applicable(const S *ego, rdft_kind kind,
Chris@82 289 INT r, INT rs,
Chris@82 290 INT m, INT ms,
Chris@82 291 INT v, INT vs,
Chris@82 292 R *cr, R *ci,
Chris@82 293 const planner *plnr, INT *extra_iter)
Chris@82 294 {
Chris@82 295 if (ego->bufferedp) {
Chris@82 296 if (!applicable0_buf(ego, kind, r, rs, m, ms, v, vs, cr, ci, plnr,
Chris@82 297 extra_iter))
Chris@82 298 return 0;
Chris@82 299 } else {
Chris@82 300 if (!applicable0(ego, kind, r, rs, m, ms, v, vs, cr, ci, plnr,
Chris@82 301 extra_iter))
Chris@82 302 return 0;
Chris@82 303 }
Chris@82 304
Chris@82 305 if (NO_UGLYP(plnr) && X(ct_uglyp)((ego->bufferedp? (INT)512 : (INT)16),
Chris@82 306 v, m * r, r))
Chris@82 307 return 0;
Chris@82 308
Chris@82 309 return 1;
Chris@82 310 }
Chris@82 311
Chris@82 312 static plan *mkcldw(const hc2c_solver *ego_, rdft_kind kind,
Chris@82 313 INT r, INT rs,
Chris@82 314 INT m, INT ms,
Chris@82 315 INT v, INT vs,
Chris@82 316 R *cr, R *ci,
Chris@82 317 planner *plnr)
Chris@82 318 {
Chris@82 319 const S *ego = (const S *) ego_;
Chris@82 320 P *pln;
Chris@82 321 const hc2c_desc *e = ego->desc;
Chris@82 322 plan *cld0 = 0, *cldm = 0;
Chris@82 323 INT imid = (m / 2) * ms;
Chris@82 324 INT extra_iter;
Chris@82 325
Chris@82 326 static const plan_adt padt = {
Chris@82 327 0, awake, print, destroy
Chris@82 328 };
Chris@82 329
Chris@82 330 if (!applicable(ego, kind, r, rs, m, ms, v, vs, cr, ci, plnr,
Chris@82 331 &extra_iter))
Chris@82 332 return (plan *)0;
Chris@82 333
Chris@82 334 cld0 = X(mkplan_d)(
Chris@82 335 plnr,
Chris@82 336 X(mkproblem_rdft2_d)(X(mktensor_1d)(r, rs, rs),
Chris@82 337 X(mktensor_0d)(),
Chris@82 338 TAINT(cr, vs), TAINT(ci, vs),
Chris@82 339 TAINT(cr, vs), TAINT(ci, vs),
Chris@82 340 kind));
Chris@82 341 if (!cld0) goto nada;
Chris@82 342
Chris@82 343 cldm = X(mkplan_d)(
Chris@82 344 plnr,
Chris@82 345 X(mkproblem_rdft2_d)(((m % 2) ?
Chris@82 346 X(mktensor_0d)() : X(mktensor_1d)(r, rs, rs) ),
Chris@82 347 X(mktensor_0d)(),
Chris@82 348 TAINT(cr + imid, vs), TAINT(ci + imid, vs),
Chris@82 349 TAINT(cr + imid, vs), TAINT(ci + imid, vs),
Chris@82 350 kind == R2HC ? R2HCII : HC2RIII));
Chris@82 351 if (!cldm) goto nada;
Chris@82 352
Chris@82 353 if (ego->bufferedp)
Chris@82 354 pln = MKPLAN_HC2C(P, &padt, apply_buf);
Chris@82 355 else
Chris@82 356 pln = MKPLAN_HC2C(P, &padt, extra_iter ? apply_extra_iter : apply);
Chris@82 357
Chris@82 358 pln->k = ego->k;
Chris@82 359 pln->td = 0;
Chris@82 360 pln->r = r; pln->rs = X(mkstride)(r, rs);
Chris@82 361 pln->m = m; pln->ms = ms;
Chris@82 362 pln->v = v; pln->vs = vs;
Chris@82 363 pln->slv = ego;
Chris@82 364 pln->brs = X(mkstride)(r, 4 * compute_batchsize(r));
Chris@82 365 pln->cld0 = cld0;
Chris@82 366 pln->cldm = cldm;
Chris@82 367 pln->extra_iter = extra_iter;
Chris@82 368
Chris@82 369 X(ops_zero)(&pln->super.super.ops);
Chris@82 370 X(ops_madd2)(v * (((m - 1) / 2) / e->genus->vl),
Chris@82 371 &e->ops, &pln->super.super.ops);
Chris@82 372 X(ops_madd2)(v, &cld0->ops, &pln->super.super.ops);
Chris@82 373 X(ops_madd2)(v, &cldm->ops, &pln->super.super.ops);
Chris@82 374
Chris@82 375 if (ego->bufferedp)
Chris@82 376 pln->super.super.ops.other += 4 * r * m * v;
Chris@82 377
Chris@82 378 return &(pln->super.super);
Chris@82 379
Chris@82 380 nada:
Chris@82 381 X(plan_destroy_internal)(cld0);
Chris@82 382 X(plan_destroy_internal)(cldm);
Chris@82 383 return 0;
Chris@82 384 }
Chris@82 385
Chris@82 386 static void regone(planner *plnr, khc2c codelet,
Chris@82 387 const hc2c_desc *desc,
Chris@82 388 hc2c_kind hc2ckind,
Chris@82 389 int bufferedp)
Chris@82 390 {
Chris@82 391 S *slv = (S *)X(mksolver_hc2c)(sizeof(S), desc->radix, hc2ckind, mkcldw);
Chris@82 392 slv->k = codelet;
Chris@82 393 slv->desc = desc;
Chris@82 394 slv->bufferedp = bufferedp;
Chris@82 395 REGISTER_SOLVER(plnr, &(slv->super.super));
Chris@82 396 }
Chris@82 397
Chris@82 398 void X(regsolver_hc2c_direct)(planner *plnr, khc2c codelet,
Chris@82 399 const hc2c_desc *desc,
Chris@82 400 hc2c_kind hc2ckind)
Chris@82 401 {
Chris@82 402 regone(plnr, codelet, desc, hc2ckind, /* bufferedp */0);
Chris@82 403 regone(plnr, codelet, desc, hc2ckind, /* bufferedp */1);
Chris@82 404 }