Chris@42: /*
Chris@42:  * Copyright (c) 2003, 2007-14 Matteo Frigo
Chris@42:  * Copyright (c) 2003, 2007-14 Massachusetts Institute of Technology
Chris@42:  *
Chris@42:  * This program is free software; you can redistribute it and/or modify
Chris@42:  * it under the terms of the GNU General Public License as published by
Chris@42:  * the Free Software Foundation; either version 2 of the License, or
Chris@42:  * (at your option) any later version.
Chris@42:  *
Chris@42:  * This program is distributed in the hope that it will be useful,
Chris@42:  * but WITHOUT ANY WARRANTY; without even the implied warranty of
Chris@42:  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
Chris@42:  * GNU General Public License for more details.
Chris@42:  *
Chris@42:  * You should have received a copy of the GNU General Public License
Chris@42:  * along with this program; if not, write to the Free Software
Chris@42:  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
Chris@42:  *
Chris@42:  */
Chris@42: 
Chris@42: 
Chris@42: #include "ct.h"
Chris@42: 
Chris@42: typedef struct {
Chris@42:      ct_solver super;
Chris@42:      const ct_desc *desc;
Chris@42:      int bufferedp;
Chris@42:      kdftw k;
Chris@42: } S;
Chris@42: 
Chris@42: typedef struct {
Chris@42:      plan_dftw super;
Chris@42:      kdftw k;
Chris@42:      INT r;
Chris@42:      stride rs;
Chris@42:      INT m, ms, v, vs, mb, me, extra_iter;
Chris@42:      stride brs;
Chris@42:      twid *td;
Chris@42:      const S *slv;
Chris@42: } P;
Chris@42: 
Chris@42: 
Chris@42: /*************************************************************
Chris@42:   Nonbuffered code
Chris@42:  *************************************************************/
Chris@42: static void apply(const plan *ego_, R *rio, R *iio)
Chris@42: {
Chris@42:      const P *ego = (const P *) ego_;
Chris@42:      INT i;
Chris@42:      ASSERT_ALIGNED_DOUBLE;
Chris@42:      for (i = 0; i < ego->v; ++i, rio += ego->vs, iio += ego->vs) {
Chris@42: 	  INT  mb = ego->mb, ms = ego->ms;
Chris@42: 	  ego->k(rio + mb*ms, iio + mb*ms, ego->td->W, 
Chris@42: 		 ego->rs, mb, ego->me, ms);
Chris@42:      }
Chris@42: }
Chris@42: 
Chris@42: static void apply_extra_iter(const plan *ego_, R *rio, R *iio)
Chris@42: {
Chris@42:      const P *ego = (const P *) ego_;
Chris@42:      INT i, v = ego->v, vs = ego->vs;
Chris@42:      INT mb = ego->mb, me = ego->me, mm = me - 1, ms = ego->ms;
Chris@42:      ASSERT_ALIGNED_DOUBLE;
Chris@42:      for (i = 0; i < v; ++i, rio += vs, iio += vs) {
Chris@42: 	  ego->k(rio + mb*ms, iio + mb*ms, ego->td->W, 
Chris@42: 		 ego->rs, mb, mm, ms);
Chris@42: 	  ego->k(rio + mm*ms, iio + mm*ms, ego->td->W, 
Chris@42: 		 ego->rs, mm, mm+2, 0);
Chris@42:      }
Chris@42: }
Chris@42: 
Chris@42: /*************************************************************
Chris@42:   Buffered code
Chris@42:  *************************************************************/
Chris@42: static void dobatch(const P *ego, R *rA, R *iA, INT mb, INT me, R *buf)
Chris@42: {
Chris@42:      INT brs = WS(ego->brs, 1);
Chris@42:      INT rs = WS(ego->rs, 1);
Chris@42:      INT ms = ego->ms;
Chris@42: 
Chris@42:      X(cpy2d_pair_ci)(rA + mb*ms, iA + mb*ms, buf, buf + 1,
Chris@42: 		      ego->r, rs, brs,
Chris@42: 		      me - mb, ms, 2);
Chris@42:      ego->k(buf, buf + 1, ego->td->W, ego->brs, mb, me, 2);
Chris@42:      X(cpy2d_pair_co)(buf, buf + 1, rA + mb*ms, iA + mb*ms,
Chris@42: 		      ego->r, brs, rs,
Chris@42: 		      me - mb, 2, ms);
Chris@42: }
Chris@42: 
Chris@42: /* must be even for SIMD alignment; should not be 2^k to avoid
Chris@42:    associativity conflicts */
Chris@42: static INT compute_batchsize(INT radix)
Chris@42: {
Chris@42:      /* round up to multiple of 4 */
Chris@42:      radix += 3;
Chris@42:      radix &= -4;
Chris@42: 
Chris@42:      return (radix + 2);
Chris@42: }
Chris@42: 
Chris@42: static void apply_buf(const plan *ego_, R *rio, R *iio)
Chris@42: {
Chris@42:      const P *ego = (const P *) ego_;
Chris@42:      INT i, j, v = ego->v, r = ego->r;
Chris@42:      INT batchsz = compute_batchsize(r);
Chris@42:      R *buf;
Chris@42:      INT mb = ego->mb, me = ego->me;
Chris@42:      size_t bufsz = r * batchsz * 2 * sizeof(R);
Chris@42: 
Chris@42:      BUF_ALLOC(R *, buf, bufsz);
Chris@42: 
Chris@42:      for (i = 0; i < v; ++i, rio += ego->vs, iio += ego->vs) {
Chris@42: 	  for (j = mb; j + batchsz < me; j += batchsz) 
Chris@42: 	       dobatch(ego, rio, iio, j, j + batchsz, buf);
Chris@42: 
Chris@42: 	  dobatch(ego, rio, iio, j, me, buf);
Chris@42:      }
Chris@42: 
Chris@42:      BUF_FREE(buf, bufsz);
Chris@42: }
Chris@42: 
Chris@42: /*************************************************************
Chris@42:   common code
Chris@42:  *************************************************************/
Chris@42: static void awake(plan *ego_, enum wakefulness wakefulness)
Chris@42: {
Chris@42:      P *ego = (P *) ego_;
Chris@42: 
Chris@42:      X(twiddle_awake)(wakefulness, &ego->td, ego->slv->desc->tw,
Chris@42: 		      ego->r * ego->m, ego->r, ego->m + ego->extra_iter);
Chris@42: }
Chris@42: 
Chris@42: static void destroy(plan *ego_)
Chris@42: {
Chris@42:      P *ego = (P *) ego_;
Chris@42:      X(stride_destroy)(ego->brs);
Chris@42:      X(stride_destroy)(ego->rs);
Chris@42: }
Chris@42: 
Chris@42: static void print(const plan *ego_, printer *p)
Chris@42: {
Chris@42:      const P *ego = (const P *) ego_;
Chris@42:      const S *slv = ego->slv;
Chris@42:      const ct_desc *e = slv->desc;
Chris@42: 
Chris@42:      if (slv->bufferedp)
Chris@42: 	  p->print(p, "(dftw-directbuf/%D-%D/%D%v \"%s\")",
Chris@42: 		   compute_batchsize(ego->r), ego->r,
Chris@42: 		   X(twiddle_length)(ego->r, e->tw), ego->v, e->nam);
Chris@42:      else
Chris@42: 	  p->print(p, "(dftw-direct-%D/%D%v \"%s\")",
Chris@42: 		   ego->r, X(twiddle_length)(ego->r, e->tw), ego->v, e->nam);
Chris@42: }
Chris@42: 
Chris@42: static int applicable0(const S *ego,
Chris@42: 		       INT r, INT irs, INT ors,
Chris@42: 		       INT m, INT ms,
Chris@42: 		       INT v, INT ivs, INT ovs,
Chris@42: 		       INT mb, INT me,
Chris@42: 		       R *rio, R *iio,
Chris@42: 		       const planner *plnr, INT *extra_iter)
Chris@42: {
Chris@42:      const ct_desc *e = ego->desc;
Chris@42:      UNUSED(v);
Chris@42: 
Chris@42:      return (
Chris@42: 	  1
Chris@42: 	  && r == e->radix
Chris@42: 	  && irs == ors /* in-place along R */
Chris@42: 	  && ivs == ovs /* in-place along V */
Chris@42: 
Chris@42: 	  /* check for alignment/vector length restrictions */
Chris@42: 	  && ((*extra_iter = 0,
Chris@42: 	       e->genus->okp(e, rio, iio, irs, ivs, m, mb, me, ms, plnr))
Chris@42: 	      ||
Chris@42: 	      (*extra_iter = 1,
Chris@42: 	       (1
Chris@42: 		/* FIXME: require full array, otherwise some threads
Chris@42: 		   may be extra_iter and other threads won't be.
Chris@42: 		   Generating the proper twiddle factors is a pain in
Chris@42: 		   this case */
Chris@42: 		&& mb == 0 && me == m
Chris@42: 		&& e->genus->okp(e, rio, iio, irs, ivs,
Chris@42: 				 m, mb, me - 1, ms, plnr)
Chris@42: 		&& e->genus->okp(e, rio, iio, irs, ivs,
Chris@42: 				 m, me - 1, me + 1, ms, plnr))))
Chris@42: 
Chris@42: 	  && (e->genus->okp(e, rio + ivs, iio + ivs, irs, ivs,
Chris@42: 			    m, mb, me - *extra_iter, ms, plnr))
Chris@42: 
Chris@42: 	  );
Chris@42: }
Chris@42: 
Chris@42: static int applicable0_buf(const S *ego,
Chris@42: 			   INT r, INT irs, INT ors,
Chris@42: 			   INT m, INT ms,
Chris@42: 			   INT v, INT ivs, INT ovs,
Chris@42: 			   INT mb, INT me,
Chris@42: 			   R *rio, R *iio,
Chris@42: 			   const planner *plnr)
Chris@42: {
Chris@42:      const ct_desc *e = ego->desc;
Chris@42:      INT batchsz;
Chris@42:      UNUSED(v); UNUSED(ms); UNUSED(rio); UNUSED(iio);
Chris@42: 
Chris@42:      return (
Chris@42: 	  1
Chris@42: 	  && r == e->radix
Chris@42: 	  && irs == ors /* in-place along R */
Chris@42: 	  && ivs == ovs /* in-place along V */
Chris@42: 
Chris@42: 	  /* check for alignment/vector length restrictions, both for
Chris@42: 	     batchsize and for the remainder */
Chris@42: 	  && (batchsz = compute_batchsize(r), 1)
Chris@42: 	  && (e->genus->okp(e, 0, ((const R *)0) + 1, 2 * batchsz, 0,
Chris@42: 			    m, mb, mb + batchsz, 2, plnr))
Chris@42: 	  && (e->genus->okp(e, 0, ((const R *)0) + 1, 2 * batchsz, 0,
Chris@42: 			    m, mb, me, 2, plnr))
Chris@42: 	  );
Chris@42: }
Chris@42: 
Chris@42: static int applicable(const S *ego,
Chris@42: 		      INT r, INT irs, INT ors,
Chris@42: 		      INT m, INT ms,
Chris@42: 		      INT v, INT ivs, INT ovs,
Chris@42: 		      INT mb, INT me,
Chris@42: 		      R *rio, R *iio,
Chris@42: 		      const planner *plnr, INT *extra_iter)
Chris@42: {
Chris@42:      if (ego->bufferedp) {
Chris@42: 	  *extra_iter = 0;
Chris@42: 	  if (!applicable0_buf(ego,
Chris@42: 			       r, irs, ors, m, ms, v, ivs, ovs, mb, me,
Chris@42: 			       rio, iio, plnr))
Chris@42: 	       return 0;
Chris@42:      } else {
Chris@42: 	  if (!applicable0(ego,
Chris@42: 			   r, irs, ors, m, ms, v, ivs, ovs, mb, me,
Chris@42: 			   rio, iio, plnr, extra_iter))
Chris@42: 	       return 0;
Chris@42:      }
Chris@42: 
Chris@42:      if (NO_UGLYP(plnr) && X(ct_uglyp)((ego->bufferedp? (INT)512 : (INT)16),
Chris@42: 				       v, m * r, r))
Chris@42: 	  return 0;
Chris@42: 
Chris@42:      if (m * r > 262144 && NO_FIXED_RADIX_LARGE_NP(plnr))
Chris@42: 	  return 0;
Chris@42: 
Chris@42:      return 1;
Chris@42: }
Chris@42: 
Chris@42: static plan *mkcldw(const ct_solver *ego_,
Chris@42: 		    INT r, INT irs, INT ors,
Chris@42: 		    INT m, INT ms,
Chris@42: 		    INT v, INT ivs, INT ovs,
Chris@42: 		    INT mstart, INT mcount,
Chris@42: 		    R *rio, R *iio,
Chris@42: 		    planner *plnr)
Chris@42: {
Chris@42:      const S *ego = (const S *) ego_;
Chris@42:      P *pln;
Chris@42:      const ct_desc *e = ego->desc;
Chris@42:      INT extra_iter;
Chris@42: 
Chris@42:      static const plan_adt padt = {
Chris@42: 	  0, awake, print, destroy
Chris@42:      };
Chris@42: 
Chris@42:      A(mstart >= 0 && mstart + mcount <= m);
Chris@42:      if (!applicable(ego,
Chris@42: 		     r, irs, ors, m, ms, v, ivs, ovs, mstart, mstart + mcount,
Chris@42: 		     rio, iio, plnr, &extra_iter))
Chris@42:           return (plan *)0;
Chris@42: 
Chris@42:      if (ego->bufferedp) {
Chris@42: 	  pln = MKPLAN_DFTW(P, &padt, apply_buf);
Chris@42:      } else {
Chris@42: 	  pln = MKPLAN_DFTW(P, &padt, extra_iter ? apply_extra_iter : apply);
Chris@42:      }
Chris@42: 
Chris@42:      pln->k = ego->k;
Chris@42:      pln->rs = X(mkstride)(r, irs);
Chris@42:      pln->td = 0;
Chris@42:      pln->r = r;
Chris@42:      pln->m = m;
Chris@42:      pln->ms = ms;
Chris@42:      pln->v = v;
Chris@42:      pln->vs = ivs;
Chris@42:      pln->mb = mstart;
Chris@42:      pln->me = mstart + mcount;
Chris@42:      pln->slv = ego;
Chris@42:      pln->brs = X(mkstride)(r, 2 * compute_batchsize(r));
Chris@42:      pln->extra_iter = extra_iter;
Chris@42: 
Chris@42:      X(ops_zero)(&pln->super.super.ops);
Chris@42:      X(ops_madd2)(v * (mcount/e->genus->vl), &e->ops, &pln->super.super.ops);
Chris@42: 
Chris@42:      if (ego->bufferedp) {
Chris@42: 	  /* 8 load/stores * N * V */
Chris@42: 	  pln->super.super.ops.other += 8 * r * mcount * v;
Chris@42:      }
Chris@42: 
Chris@42:      pln->super.super.could_prune_now_p =
Chris@42: 	  (!ego->bufferedp && r >= 5 && r < 64 && m >= r);
Chris@42:      return &(pln->super.super);
Chris@42: }
Chris@42: 
Chris@42: static void regone(planner *plnr, kdftw codelet,
Chris@42: 		   const ct_desc *desc, int dec, int bufferedp)
Chris@42: {
Chris@42:      S *slv = (S *)X(mksolver_ct)(sizeof(S), desc->radix, dec, mkcldw, 0);
Chris@42:      slv->k = codelet;
Chris@42:      slv->desc = desc;
Chris@42:      slv->bufferedp = bufferedp;
Chris@42:      REGISTER_SOLVER(plnr, &(slv->super.super));
Chris@42:      if (X(mksolver_ct_hook)) {
Chris@42: 	  slv = (S *)X(mksolver_ct_hook)(sizeof(S), desc->radix,
Chris@42: 					 dec, mkcldw, 0);
Chris@42: 	  slv->k = codelet;
Chris@42: 	  slv->desc = desc;
Chris@42: 	  slv->bufferedp = bufferedp;
Chris@42: 	  REGISTER_SOLVER(plnr, &(slv->super.super));
Chris@42:      }
Chris@42: }
Chris@42: 
Chris@42: void X(regsolver_ct_directw)(planner *plnr, kdftw codelet,
Chris@42: 			     const ct_desc *desc, int dec)
Chris@42: {
Chris@42:      regone(plnr, codelet, desc, dec, /* bufferedp */ 0);
Chris@42:      regone(plnr, codelet, desc, dec, /* bufferedp */ 1);
Chris@42: }