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