pocketfft_hdronly.h 102 KB
Newer Older
1
/*
2 3 4
This file is part of pocketfft.

Copyright (C) 2010-2019 Max-Planck-Society
5 6 7 8 9 10 11
Copyright (C) 2019 Peter Bell

For the odd-sized DCT-IV transforms:
  Copyright (C) 2003, 2007-14 Matteo Frigo
  Copyright (C) 2003, 2007-14 Massachusetts Institute of Technology

Authors: Martin Reinecke, Peter Bell
12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37

All rights reserved.

Redistribution and use in source and binary forms, with or without modification,
are permitted provided that the following conditions are met:

* Redistributions of source code must retain the above copyright notice, this
  list of conditions and the following disclaimer.
* Redistributions in binary form must reproduce the above copyright notice, this
  list of conditions and the following disclaimer in the documentation and/or
  other materials provided with the distribution.
* Neither the name of the copyright holder nor the names of its contributors may
  be used to endorse or promote products derived from this software without
  specific prior written permission.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR
ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
38 39 40 41

#ifndef POCKETFFT_HDRONLY_H
#define POCKETFFT_HDRONLY_H

42
#ifndef __cplusplus
43
#error This file is C++ and requires a C++ compiler.
44 45
#endif

Martin Reinecke's avatar
sync  
Martin Reinecke committed
46
#if !(__cplusplus >= 201103L || _MSVC_LANG+0L >= 201103L)
47
#error This file requires at least C++11 support.
48 49
#endif

50 51 52 53
#ifndef POCKETFFT_CACHE_SIZE
#define POCKETFFT_CACHE_SIZE 16
#endif

54 55 56 57 58 59
#include <cmath>
#include <cstring>
#include <cstdlib>
#include <stdexcept>
#include <memory>
#include <vector>
Martin Reinecke's avatar
sync  
Martin Reinecke committed
60
#include <complex>
61 62
#if POCKETFFT_CACHE_SIZE!=0
#include <array>
Martin Reinecke's avatar
Martin Reinecke committed
63
#include <mutex>
64
#endif
Peter Bell's avatar
Peter Bell committed
65

66
#ifndef POCKETFFT_NO_MULTITHREADING
Peter Bell's avatar
Peter Bell committed
67 68 69 70 71 72
#include <mutex>
#include <condition_variable>
#include <thread>
#include <queue>
#include <atomic>
#include <functional>
Martin Reinecke's avatar
Martin Reinecke committed
73

74 75
#ifdef POCKETFFT_PTHREADS
#  include <pthread.h>
Martin Reinecke's avatar
Martin Reinecke committed
76
#endif
77
#endif
78

Martin Reinecke's avatar
Martin Reinecke committed
79
#if defined(__GNUC__)
80 81
#define POCKETFFT_NOINLINE __attribute__((noinline))
#define POCKETFFT_RESTRICT __restrict__
Martin Reinecke's avatar
Martin Reinecke committed
82
#elif defined(_MSC_VER)
83 84
#define POCKETFFT_NOINLINE __declspec(noinline)
#define POCKETFFT_RESTRICT __restrict
85
#else
86 87
#define POCKETFFT_NOINLINE
#define POCKETFFT_RESTRICT
88 89 90 91 92 93
#endif

namespace pocketfft {

namespace detail {

Martin Reinecke's avatar
Martin Reinecke committed
94 95
using namespace std;

Martin Reinecke's avatar
Martin Reinecke committed
96 97 98 99 100 101
using shape_t = vector<size_t>;
using stride_t = vector<ptrdiff_t>;

constexpr bool FORWARD  = true,
               BACKWARD = false;

Martin Reinecke's avatar
sync  
Martin Reinecke committed
102 103 104 105
// only enable vector support for gcc>=5.0 and clang>=5.0
#ifndef POCKETFFT_NO_VECTORS
#define POCKETFFT_NO_VECTORS
#if defined(__INTEL_COMPILER)
106
// do nothing. This is necessary because this compiler also sets __GNUC__.
Martin Reinecke's avatar
sync  
Martin Reinecke committed
107 108 109 110 111 112 113 114 115 116 117
#elif defined(__clang__)
#if __clang__>=5
#undef POCKETFFT_NO_VECTORS
#endif
#elif defined(__GNUC__)
#if __GNUC__>=5
#undef POCKETFFT_NO_VECTORS
#endif
#endif
#endif

Martin Reinecke's avatar
Martin Reinecke committed
118 119
template<typename T> struct VLEN { static constexpr size_t val=1; };

Martin Reinecke's avatar
Martin Reinecke committed
120 121
#ifndef POCKETFFT_NO_VECTORS
#if (defined(__AVX512F__))
Martin Reinecke's avatar
Martin Reinecke committed
122 123
template<> struct VLEN<float> { static constexpr size_t val=16; };
template<> struct VLEN<double> { static constexpr size_t val=8; };
Martin Reinecke's avatar
Martin Reinecke committed
124
#elif (defined(__AVX__))
Martin Reinecke's avatar
Martin Reinecke committed
125 126
template<> struct VLEN<float> { static constexpr size_t val=8; };
template<> struct VLEN<double> { static constexpr size_t val=4; };
Martin Reinecke's avatar
Martin Reinecke committed
127
#elif (defined(__SSE2__))
Martin Reinecke's avatar
Martin Reinecke committed
128 129
template<> struct VLEN<float> { static constexpr size_t val=4; };
template<> struct VLEN<double> { static constexpr size_t val=2; };
Martin Reinecke's avatar
sync  
Martin Reinecke committed
130
#elif (defined(__VSX__))
Martin Reinecke's avatar
Martin Reinecke committed
131 132
template<> struct VLEN<float> { static constexpr size_t val=4; };
template<> struct VLEN<double> { static constexpr size_t val=2; };
Martin Reinecke's avatar
Martin Reinecke committed
133 134 135 136 137
#else
#define POCKETFFT_NO_VECTORS
#endif
#endif

Martin Reinecke's avatar
Martin Reinecke committed
138
template<typename T> class arr
139 140 141 142 143
  {
  private:
    T *p;
    size_t sz;

Martin Reinecke's avatar
Martin Reinecke committed
144
#if defined(POCKETFFT_NO_VECTORS)
145 146 147 148 149
    static T *ralloc(size_t num)
      {
      if (num==0) return nullptr;
      void *res = malloc(num*sizeof(T));
      if (!res) throw bad_alloc();
Martin Reinecke's avatar
Martin Reinecke committed
150 151 152 153 154 155 156 157
      return reinterpret_cast<T *>(res);
      }
    static void dealloc(T *ptr)
      { free(ptr); }
#elif __cplusplus >= 201703L
    static T *ralloc(size_t num)
      {
      if (num==0) return nullptr;
158 159
      void *res = aligned_alloc(64,num*sizeof(T));
      if (!res) throw bad_alloc();
Martin Reinecke's avatar
Martin Reinecke committed
160 161 162 163
      return reinterpret_cast<T *>(res);
      }
    static void dealloc(T *ptr)
      { free(ptr); }
164
#else // portable emulation
Martin Reinecke's avatar
Martin Reinecke committed
165 166 167
    static T *ralloc(size_t num)
      {
      if (num==0) return nullptr;
168 169 170 171 172 173
      void *ptr = malloc(num*sizeof(T)+64);
      if (!ptr) throw bad_alloc();
      T *res = reinterpret_cast<T *>
        ((reinterpret_cast<size_t>(ptr) & ~(size_t(63))) + 64);
      (reinterpret_cast<void**>(res))[-1] = ptr;
      return res;
Martin Reinecke's avatar
Martin Reinecke committed
174 175
      }
    static void dealloc(T *ptr)
176
      { if (ptr) free((reinterpret_cast<void**>(ptr))[-1]); }
Martin Reinecke's avatar
Martin Reinecke committed
177
#endif
178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209

  public:
    arr() : p(0), sz(0) {}
    arr(size_t n) : p(ralloc(n)), sz(n) {}
    arr(arr &&other)
      : p(other.p), sz(other.sz)
      { other.p=nullptr; other.sz=0; }
    ~arr() { dealloc(p); }

    void resize(size_t n)
      {
      if (n==sz) return;
      dealloc(p);
      p = ralloc(n);
      sz = n;
      }

    T &operator[](size_t idx) { return p[idx]; }
    const T &operator[](size_t idx) const { return p[idx]; }

    T *data() { return p; }
    const T *data() const { return p; }

    size_t size() const { return sz; }
  };

template<typename T> struct cmplx {
  T r, i;
  cmplx() {}
  cmplx(T r_, T i_) : r(r_), i(i_) {}
  void Set(T r_, T i_) { r=r_; i=i_; }
  void Set(T r_) { r=r_; i=T(0); }
Martin Reinecke's avatar
Martin Reinecke committed
210 211
  void Split(T &r_, T &i_) const { r_=r; i_=i; }
  void SplitConj(T &r_, T &i_) const { r_=r; i_=-i; }
212 213 214 215
  cmplx &operator+= (const cmplx &other)
    { r+=other.r; i+=other.i; return *this; }
  template<typename T2>cmplx &operator*= (T2 other)
    { r*=other; i*=other; return *this; }
216 217 218 219 220 221 222
  template<typename T2>cmplx &operator*= (const cmplx<T2> &other)
    {
    T tmp = r*other.r - i*other.i;
    i = r*other.i + i*other.r;
    r = tmp;
    return *this;
    }
Martin Reinecke's avatar
Martin Reinecke committed
223 224 225 226
  template<typename T2>cmplx &operator+= (const cmplx<T2> &other)
    { r+=other.r; i+=other.i; return *this; }
  template<typename T2>cmplx &operator-= (const cmplx<T2> &other)
    { r-=other.r; i-=other.i; return *this; }
227 228 229
  template<typename T2> auto operator* (const T2 &other) const
    -> cmplx<decltype(r*other)>
    { return {r*other, i*other}; }
Martin Reinecke's avatar
Martin Reinecke committed
230 231 232 233 234 235
  template<typename T2> auto operator+ (const cmplx<T2> &other) const
    -> cmplx<decltype(r+other.r)>
    { return {r+other.r, i+other.i}; }
  template<typename T2> auto operator- (const cmplx<T2> &other) const
    -> cmplx<decltype(r+other.r)>
    { return {r-other.r, i-other.i}; }
236 237 238
  template<typename T2> auto operator* (const cmplx<T2> &other) const
    -> cmplx<decltype(r+other.r)>
    { return {r*other.r-i*other.i, r*other.i + i*other.r}; }
Martin Reinecke's avatar
Martin Reinecke committed
239
  template<bool fwd, typename T2> auto special_mul (const cmplx<T2> &other) const
240 241
    -> cmplx<decltype(r+other.r)>
    {
Martin Reinecke's avatar
sync  
Martin Reinecke committed
242
    using Tres = cmplx<decltype(r+other.r)>;
Martin Reinecke's avatar
Martin Reinecke committed
243 244
    return fwd ? Tres(r*other.r+i*other.i, i*other.r-r*other.i)
               : Tres(r*other.r-i*other.i, r*other.i+i*other.r);
245 246
    }
};
Martin Reinecke's avatar
Martin Reinecke committed
247 248
template<typename T> inline void PM(T &a, T &b, T c, T d)
  { a=c+d; b=c-d; }
Martin Reinecke's avatar
Martin Reinecke committed
249 250
template<typename T> inline void PMINPLACE(T &a, T &b)
  { T t = a; a+=b; b=t-b; }
251 252
template<typename T> inline void MPINPLACE(T &a, T &b)
  { T t = a; a-=b; b=t+b; }
253 254
template<typename T> cmplx<T> conj(const cmplx<T> &a)
  { return {a.r, -a.i}; }
Martin Reinecke's avatar
Martin Reinecke committed
255 256 257 258 259
template<bool fwd, typename T, typename T2> void special_mul (const cmplx<T> &v1, const cmplx<T2> &v2, cmplx<T> &res)
  {
  res = fwd ? cmplx<T>(v1.r*v2.r+v1.i*v2.i, v1.i*v2.r-v1.r*v2.i)
            : cmplx<T>(v1.r*v2.r-v1.i*v2.i, v1.r*v2.i+v1.i*v2.r);
  }
260 261 262

template<typename T> void ROT90(cmplx<T> &a)
  { auto tmp_=a.r; a.r=-a.i; a.i=tmp_; }
Martin Reinecke's avatar
Martin Reinecke committed
263 264
template<bool fwd, typename T> void ROTX90(cmplx<T> &a)
  { auto tmp_= fwd ? -a.r : a.r; a.r = fwd ? a.i : -a.i; a.i=tmp_; }
265 266 267 268 269 270 271

//
// twiddle factor section
//
template<typename T> class sincos_2pibyn
  {
  private:
Martin Reinecke's avatar
cleanup  
Martin Reinecke committed
272
    using Thigh = typename conditional<(sizeof(T)>sizeof(double)), T, double>::type;
Martin Reinecke's avatar
Martin Reinecke committed
273 274
    size_t mask, shift;
    arr<cmplx<Thigh>> v1, v2;
275

Martin Reinecke's avatar
Martin Reinecke committed
276
    static cmplx<Thigh> calc(size_t x, size_t n, Thigh ang)
277
      {
Martin Reinecke's avatar
Martin Reinecke committed
278 279
      x<<=3;
      if (x<4*n) // first half
280
        {
Martin Reinecke's avatar
Martin Reinecke committed
281 282 283 284 285 286 287 288 289 290 291
        if (x<2*n) // first quadrant
          {
          if (x<n) return cmplx<Thigh>(cos(Thigh(x)*ang), sin(Thigh(x)*ang));
          return cmplx<Thigh>(sin(Thigh(2*n-x)*ang), cos(Thigh(2*n-x)*ang));
          }
        else // second quadrant
          {
          x-=2*n;
          if (x<n) return cmplx<Thigh>(-sin(Thigh(x)*ang), cos(Thigh(x)*ang));
          return cmplx<Thigh>(-cos(Thigh(2*n-x)*ang), sin(Thigh(2*n-x)*ang));
          }
292 293 294
        }
      else
        {
Martin Reinecke's avatar
Martin Reinecke committed
295 296 297 298 299 300 301 302 303 304 305 306
        x=8*n-x;
        if (x<2*n) // third quadrant
          {
          if (x<n) return cmplx<Thigh>(cos(Thigh(x)*ang), -sin(Thigh(x)*ang));
          return cmplx<Thigh>(sin(Thigh(2*n-x)*ang), -cos(Thigh(2*n-x)*ang));
          }
        else // fourth quadrant
          {
          x-=2*n;
          if (x<n) return cmplx<Thigh>(-sin(Thigh(x)*ang), -cos(Thigh(x)*ang));
          return cmplx<Thigh>(-cos(Thigh(2*n-x)*ang), -sin(Thigh(2*n-x)*ang));
          }
307 308 309 310
        }
      }

  public:
311
    POCKETFFT_NOINLINE sincos_2pibyn(size_t n)
Martin Reinecke's avatar
Martin Reinecke committed
312 313 314 315 316 317 318 319 320 321 322 323 324 325 326
      {
      constexpr auto pi = 3.141592653589793238462643383279502884197L;
      Thigh ang = Thigh(0.25L*pi/n);
      shift = 1;
      while((size_t(1)<<shift)*(size_t(1)<<shift) < n) ++shift;
      mask = (size_t(1)<<shift)-1;
      v1.resize(mask+1);
      v1[0].Set(Thigh(1), Thigh(0));
      for (size_t i=1; i<v1.size(); ++i)
        v1[i]=calc(i,n,ang);
      v2.resize((n+mask)/(mask+1));
      v2[0].Set(Thigh(1), Thigh(0));
      for (size_t i=1; i<v2.size(); ++i)
        v2[i]=calc(i*(mask+1),n,ang);
      }
327 328

    cmplx<T> operator[](size_t idx) const
329
      {
Martin Reinecke's avatar
Martin Reinecke committed
330 331
      auto x1=v1[idx&mask], x2=v2[idx>>shift];
      return cmplx<T>(T(x1.r*x2.r-x1.i*x2.i), T(x1.r*x2.i+x1.i*x2.r));
332 333 334
      }
  };

Martin Reinecke's avatar
Martin Reinecke committed
335
struct util // hack to avoid duplicate symbols
336
  {
337
  static POCKETFFT_NOINLINE size_t largest_prime_factor (size_t n)
338
    {
Martin Reinecke's avatar
Martin Reinecke committed
339 340 341
    size_t res=1;
    while ((n&1)==0)
      { res=2; n>>=1; }
Martin Reinecke's avatar
Martin Reinecke committed
342 343 344
    for (size_t x=3; x*x<=n; x+=2)
      while ((n%x)==0)
        { res=x; n/=x; }
Martin Reinecke's avatar
Martin Reinecke committed
345 346 347 348
    if (n>1) res=n;
    return res;
    }

349
  static POCKETFFT_NOINLINE double cost_guess (size_t n)
350
    {
Martin Reinecke's avatar
sync  
Martin Reinecke committed
351
    constexpr double lfp=1.1; // penalty for non-hardcoded larger factors
Martin Reinecke's avatar
Martin Reinecke committed
352 353 354 355
    size_t ni=n;
    double result=0.;
    while ((n&1)==0)
      { result+=2; n>>=1; }
Martin Reinecke's avatar
Martin Reinecke committed
356 357 358 359 360 361
    for (size_t x=3; x*x<=n; x+=2)
      while ((n%x)==0)
        {
        result+= (x<=5) ? double(x) : lfp*double(x); // penalize larger prime factors
        n/=x;
        }
Martin Reinecke's avatar
sync  
Martin Reinecke committed
362 363
    if (n>1) result+=(n<=5) ? double(n) : lfp*double(n);
    return result*double(ni);
364 365
    }

Martin Reinecke's avatar
Martin Reinecke committed
366
  /* returns the smallest composite of 2, 3, 5, 7 and 11 which is >= n */
367
  static POCKETFFT_NOINLINE size_t good_size_cmplx(size_t n)
Martin Reinecke's avatar
Martin Reinecke committed
368 369 370 371
    {
    if (n<=12) return n;

    size_t bestfac=2*n;
372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418
    for (size_t f11=1; f11<bestfac; f11*=11)
      for (size_t f117=f11; f117<bestfac; f117*=7)
        for (size_t f1175=f117; f1175<bestfac; f1175*=5)
          {
          size_t x=f1175;
          while (x<n) x*=2;
          for (;;)
            {
            if (x<n)
              x*=3;
            else if (x>n)
              {
              if (x<bestfac) bestfac=x;
              if (x&1) break;
              x>>=1;
              }
            else
              return n;
            }
          }
    return bestfac;
    }

  /* returns the smallest composite of 2, 3, 5 which is >= n */
  static POCKETFFT_NOINLINE size_t good_size_real(size_t n)
    {
    if (n<=6) return n;

    size_t bestfac=2*n;
    for (size_t f5=1; f5<bestfac; f5*=5)
      {
      size_t x = f5;
      while (x<n) x *= 2;
      for (;;)
        {
        if (x<n)
          x*=3;
        else if (x>n)
          {
          if (x<bestfac) bestfac=x;
          if (x&1) break;
          x>>=1;
          }
        else
          return n;
        }
      }
Martin Reinecke's avatar
Martin Reinecke committed
419 420
    return bestfac;
    }
421

Martin Reinecke's avatar
Martin Reinecke committed
422 423 424 425 426 427 428
  static size_t prod(const shape_t &shape)
    {
    size_t res=1;
    for (auto sz: shape)
      res*=sz;
    return res;
    }
Martin Reinecke's avatar
Martin Reinecke committed
429

430
  static POCKETFFT_NOINLINE void sanity_check(const shape_t &shape,
Martin Reinecke's avatar
Martin Reinecke committed
431 432 433 434 435 436
    const stride_t &stride_in, const stride_t &stride_out, bool inplace)
    {
    auto ndim = shape.size();
    if (ndim<1) throw runtime_error("ndim must be >= 1");
    if ((stride_in.size()!=ndim) || (stride_out.size()!=ndim))
      throw runtime_error("stride dimension mismatch");
Martin Reinecke's avatar
sync  
Martin Reinecke committed
437 438
    if (inplace && (stride_in!=stride_out))
      throw runtime_error("stride mismatch");
Martin Reinecke's avatar
Martin Reinecke committed
439 440
    }

441
  static POCKETFFT_NOINLINE void sanity_check(const shape_t &shape,
Martin Reinecke's avatar
Martin Reinecke committed
442 443 444 445 446 447 448 449
    const stride_t &stride_in, const stride_t &stride_out, bool inplace,
    const shape_t &axes)
    {
    sanity_check(shape, stride_in, stride_out, inplace);
    auto ndim = shape.size();
    shape_t tmp(ndim,0);
    for (auto ax : axes)
      {
450 451
      if (ax>=ndim) throw invalid_argument("bad axis number");
      if (++tmp[ax]>1) throw invalid_argument("axis specified repeatedly");
Martin Reinecke's avatar
Martin Reinecke committed
452 453 454
      }
    }

455
  static POCKETFFT_NOINLINE void sanity_check(const shape_t &shape,
Martin Reinecke's avatar
Martin Reinecke committed
456 457 458 459
    const stride_t &stride_in, const stride_t &stride_out, bool inplace,
    size_t axis)
    {
    sanity_check(shape, stride_in, stride_out, inplace);
460
    if (axis>=shape.size()) throw invalid_argument("bad axis number");
Martin Reinecke's avatar
Martin Reinecke committed
461
    }
Martin Reinecke's avatar
Martin Reinecke committed
462

463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480
#ifdef POCKETFFT_NO_MULTITHREADING
  static size_t thread_count (size_t /*nthreads*/, const shape_t &/*shape*/,
    size_t /*axis*/, size_t /*vlen*/)
    { return 1; }
#else
  static size_t thread_count (size_t nthreads, const shape_t &shape,
    size_t axis, size_t vlen)
    {
    if (nthreads==1) return 1;
    size_t size = prod(shape);
    size_t parallel = size / (shape[axis] * vlen);
    if (shape[axis] < 1000)
      parallel /= 4;
    size_t max_threads = nthreads == 0 ?
      thread::hardware_concurrency() : nthreads;
    return max(size_t(1), min(parallel, max_threads));
    }
#endif
Martin Reinecke's avatar
Martin Reinecke committed
481
  };
482

Peter Bell's avatar
Peter Bell committed
483
namespace threading {
484 485 486 487 488

#ifdef POCKETFFT_NO_MULTITHREADING

constexpr size_t thread_id = 0;
constexpr size_t num_threads = 1;
489
constexpr size_t max_threads = 1;
490 491 492 493 494 495 496

template <typename Func>
void thread_map(size_t /* nthreads */, Func f)
  { f(); }

#else

Peter Bell's avatar
Peter Bell committed
497 498
thread_local size_t thread_id = 0;
thread_local size_t num_threads = 1;
499
static const size_t max_threads = max(1u, thread::hardware_concurrency());
Peter Bell's avatar
Peter Bell committed
500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528

class latch
  {
    atomic<size_t> num_left_;
    mutex mut_;
    condition_variable completed_;
    using lock_t = unique_lock<mutex>;

  public:
    latch(size_t n): num_left_(n) {}

    void count_down()
      {
      lock_t lock(mut_);
      if (--num_left_)
        return;
      completed_.notify_all();
      }

    void wait()
      {
      lock_t lock(mut_);
      completed_.wait(lock, [this]{ return is_ready(); });
      }
    bool is_ready() { return num_left_ == 0; }
  };

template <typename T> class concurrent_queue
  {
529 530 531 532 533
    queue<T> q_;
    mutex mut_;
    condition_variable item_added_;
    bool shutdown_;
    using lock_t = unique_lock<mutex>;
Peter Bell's avatar
Peter Bell committed
534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568

  public:
    concurrent_queue(): shutdown_(false) {}

    void push(T val)
      {
      {
      lock_t lock(mut_);
      if (shutdown_)
        throw runtime_error("Item added to queue after shutdown");
      q_.push(move(val));
      }
      item_added_.notify_one();
      }

    bool pop(T & val)
      {
      lock_t lock(mut_);
      item_added_.wait(lock, [this] { return (!q_.empty() || shutdown_); });
      if (q_.empty())
        return false;  // We are shutting down

      val = std::move(q_.front());
      q_.pop();
      return true;
      }

    void shutdown()
      {
      {
      lock_t lock(mut_);
      shutdown_ = true;
      }
      item_added_.notify_all();
      }
569 570

    void restart() { shutdown_ = false; }
Peter Bell's avatar
Peter Bell committed
571 572 573 574 575 576 577 578 579 580 581 582 583 584
  };

class thread_pool
  {
    concurrent_queue<function<void()>> work_queue_;
    vector<thread> threads_;

    void worker_main()
      {
      function<void()> work;
      while (work_queue_.pop(work))
        work();
      }

585
    void create_threads()
Peter Bell's avatar
Peter Bell committed
586
      {
587
      size_t nthreads = threads_.size();
Peter Bell's avatar
Peter Bell committed
588 589 590 591 592
      for (size_t i=0; i<nthreads; ++i)
        {
        try { threads_[i] = thread([this]{ worker_main(); }); }
        catch (...)
          {
593
          shutdown();
Peter Bell's avatar
Peter Bell committed
594 595 596 597 598
          throw;
          }
        }
      }

599 600 601 602 603
  public:
    explicit thread_pool(size_t nthreads):
      threads_(nthreads)
      { create_threads(); }

604
    thread_pool(): thread_pool(max_threads) {}
Peter Bell's avatar
Peter Bell committed
605

606 607 608 609 610 611 612 613
    ~thread_pool() { shutdown(); }

    void submit(function<void()> work)
      {
      work_queue_.push(move(work));
      }

    void shutdown()
Peter Bell's avatar
Peter Bell committed
614 615
      {
      work_queue_.shutdown();
616 617 618
      for (auto &thread : threads_)
        if (thread.joinable())
          thread.join();
Peter Bell's avatar
Peter Bell committed
619 620
      }

621
    void restart()
Peter Bell's avatar
Peter Bell committed
622
      {
623 624
      work_queue_.restart();
      create_threads();
Martin Reinecke's avatar
Martin Reinecke committed
625
      }
Martin Reinecke's avatar
Martin Reinecke committed
626
  };
627

Peter Bell's avatar
Peter Bell committed
628 629 630
thread_pool & get_pool()
  {
  static thread_pool pool;
631 632 633 634 635 636 637 638 639 640 641 642
#ifdef POCKETFFT_PTHREADS
  static once_flag f;
  call_once(f,
    []{
    pthread_atfork(
      +[]{ get_pool().shutdown(); },  // prepare
      +[]{ get_pool().restart(); },   // parent
      +[]{ get_pool().restart(); }    // child
      );
    });
#endif

Peter Bell's avatar
Peter Bell committed
643 644 645 646 647 648 649 650
  return pool;
  }

/** Map a function f over nthreads */
template <typename Func>
void thread_map(size_t nthreads, Func f)
  {
  if (nthreads == 0)
651
    nthreads = max_threads;
Peter Bell's avatar
Peter Bell committed
652 653 654 655

  if (nthreads == 1)
    { f(); return; }

656
  auto & pool = get_pool();
Peter Bell's avatar
Peter Bell committed
657
  latch counter(nthreads);
658 659
  exception_ptr ex;
  mutex ex_mut;
Peter Bell's avatar
Peter Bell committed
660 661 662
  for (size_t i=0; i<nthreads; ++i)
    {
    pool.submit(
663
      [&f, &counter, &ex, &ex_mut, i, nthreads] {
Peter Bell's avatar
Peter Bell committed
664 665
      thread_id = i;
      num_threads = nthreads;
666 667 668 669 670 671
      try { f(); }
      catch (...)
        {
        lock_guard<mutex> lock(ex_mut);
        ex = current_exception();
        }
Peter Bell's avatar
Peter Bell committed
672 673 674 675
      counter.count_down();
      });
    }
  counter.wait();
676 677
  if (ex)
    rethrow_exception(ex);
Peter Bell's avatar
Peter Bell committed
678
  }
679 680 681

#endif

Peter Bell's avatar
Peter Bell committed
682 683
}

684 685 686 687 688 689 690 691 692 693 694 695 696
//
// complex FFTPACK transforms
//

template<typename T0> class cfftp
  {
  private:
    struct fctdata
      {
      size_t fct;
      cmplx<T0> *tw, *tws;
      };

Martin Reinecke's avatar
Martin Reinecke committed
697
    size_t length;
698
    arr<cmplx<T0>> mem;
Martin Reinecke's avatar
Martin Reinecke committed
699
    vector<fctdata> fact;
700 701

    void add_factor(size_t factor)
Martin Reinecke's avatar
Martin Reinecke committed
702
      { fact.push_back({factor, nullptr, nullptr}); }
703

Martin Reinecke's avatar
Martin Reinecke committed
704
template<bool fwd, typename T> void pass2 (size_t ido, size_t l1,
705
  const T * POCKETFFT_RESTRICT cc, T * POCKETFFT_RESTRICT ch,
Martin Reinecke's avatar
Martin Reinecke committed
706
  const cmplx<T0> * POCKETFFT_RESTRICT wa) const
707 708 709
  {
  constexpr size_t cdim=2;

710 711
  auto CH = [ch,ido,l1](size_t a, size_t b, size_t c) -> T&
    { return ch[a+ido*(b+l1*c)]; };
712
  auto CC = [cc,ido,cdim](size_t a, size_t b, size_t c) -> const T&
713 714 715 716
    { return cc[a+ido*(b+cdim*c)]; };
  auto WA = [wa, ido](size_t x, size_t i)
    { return wa[i-1+x*(ido-1)]; };

717 718 719 720 721 722 723 724 725 726 727 728 729 730
  if (ido==1)
    for (size_t k=0; k<l1; ++k)
      {
      CH(0,k,0) = CC(0,0,k)+CC(0,1,k);
      CH(0,k,1) = CC(0,0,k)-CC(0,1,k);
      }
  else
    for (size_t k=0; k<l1; ++k)
      {
      CH(0,k,0) = CC(0,0,k)+CC(0,1,k);
      CH(0,k,1) = CC(0,0,k)-CC(0,1,k);
      for (size_t i=1; i<ido; ++i)
        {
        CH(i,k,0) = CC(i,0,k)+CC(i,1,k);
Martin Reinecke's avatar
Martin Reinecke committed
731
        special_mul<fwd>(CC(i,0,k)-CC(i,1,k),WA(0,i),CH(i,k,1));
732 733 734 735
        }
      }
  }

736
#define POCKETFFT_PREP3(idx) \
737
        T t0 = CC(idx,0,k), t1, t2; \
Martin Reinecke's avatar
Martin Reinecke committed
738
        PM (t1,t2,CC(idx,1,k),CC(idx,2,k)); \
739
        CH(idx,k,0)=t0+t1;
740
#define POCKETFFT_PARTSTEP3a(u1,u2,twr,twi) \
741
        { \
Martin Reinecke's avatar
Martin Reinecke committed
742 743 744
        T ca=t0+t1*twr; \
        T cb{-t2.i*twi, t2.r*twi}; \
        PM(CH(0,k,u1),CH(0,k,u2),ca,cb) ;\
745
        }
746
#define POCKETFFT_PARTSTEP3b(u1,u2,twr,twi) \
747
        { \
Martin Reinecke's avatar
Martin Reinecke committed
748 749 750 751
        T ca=t0+t1*twr; \
        T cb{-t2.i*twi, t2.r*twi}; \
        special_mul<fwd>(ca+cb,WA(u1-1,i),CH(i,k,u1)); \
        special_mul<fwd>(ca-cb,WA(u2-1,i),CH(i,k,u2)); \
752
        }
Martin Reinecke's avatar
Martin Reinecke committed
753
template<bool fwd, typename T> void pass3 (size_t ido, size_t l1,
754
  const T * POCKETFFT_RESTRICT cc, T * POCKETFFT_RESTRICT ch,
Martin Reinecke's avatar
Martin Reinecke committed
755
  const cmplx<T0> * POCKETFFT_RESTRICT wa) const
756 757
  {
  constexpr size_t cdim=3;
Martin Reinecke's avatar
sync  
Martin Reinecke committed
758
  constexpr T0 tw1r=-0.5,
Martin Reinecke's avatar
Martin Reinecke committed
759
               tw1i= (fwd ? -1: 1) * T0(0.8660254037844386467637231707529362L);
760

761 762
  auto CH = [ch,ido,l1](size_t a, size_t b, size_t c) -> T&
    { return ch[a+ido*(b+l1*c)]; };
763
  auto CC = [cc,ido,cdim](size_t a, size_t b, size_t c) -> const T&
764 765 766 767
    { return cc[a+ido*(b+cdim*c)]; };
  auto WA = [wa, ido](size_t x, size_t i)
    { return wa[i-1+x*(ido-1)]; };

768 769 770
  if (ido==1)
    for (size_t k=0; k<l1; ++k)
      {
771 772
      POCKETFFT_PREP3(0)
      POCKETFFT_PARTSTEP3a(1,2,tw1r,tw1i)
773 774 775 776 777
      }
  else
    for (size_t k=0; k<l1; ++k)
      {
      {
778 779
      POCKETFFT_PREP3(0)
      POCKETFFT_PARTSTEP3a(1,2,tw1r,tw1i)
780 781 782
      }
      for (size_t i=1; i<ido; ++i)
        {
783 784
        POCKETFFT_PREP3(i)
        POCKETFFT_PARTSTEP3b(1,2,tw1r,tw1i)
785 786 787 788
        }
      }
  }

789 790 791
#undef POCKETFFT_PARTSTEP3b
#undef POCKETFFT_PARTSTEP3a
#undef POCKETFFT_PREP3
792

Martin Reinecke's avatar
Martin Reinecke committed
793
template<bool fwd, typename T> void pass4 (size_t ido, size_t l1,
794
  const T * POCKETFFT_RESTRICT cc, T * POCKETFFT_RESTRICT ch,
Martin Reinecke's avatar
Martin Reinecke committed
795
  const cmplx<T0> * POCKETFFT_RESTRICT wa) const
796 797 798
  {
  constexpr size_t cdim=4;

799 800
  auto CH = [ch,ido,l1](size_t a, size_t b, size_t c) -> T&
    { return ch[a+ido*(b+l1*c)]; };
801
  auto CC = [cc,ido,cdim](size_t a, size_t b, size_t c) -> const T&
802 803 804 805
    { return cc[a+ido*(b+cdim*c)]; };
  auto WA = [wa, ido](size_t x, size_t i)
    { return wa[i-1+x*(ido-1)]; };

806 807 808 809
  if (ido==1)
    for (size_t k=0; k<l1; ++k)
      {
      T t1, t2, t3, t4;
Martin Reinecke's avatar
Martin Reinecke committed
810 811
      PM(t2,t1,CC(0,0,k),CC(0,2,k));
      PM(t3,t4,CC(0,1,k),CC(0,3,k));
Martin Reinecke's avatar
Martin Reinecke committed
812
      ROTX90<fwd>(t4);
Martin Reinecke's avatar
Martin Reinecke committed
813 814
      PM(CH(0,k,0),CH(0,k,2),t2,t3);
      PM(CH(0,k,1),CH(0,k,3),t1,t4);
815 816 817 818 819 820
      }
  else
    for (size_t k=0; k<l1; ++k)
      {
      {
      T t1, t2, t3, t4;
Martin Reinecke's avatar
Martin Reinecke committed
821 822
      PM(t2,t1,CC(0,0,k),CC(0,2,k));
      PM(t3,t4,CC(0,1,k),CC(0,3,k));
Martin Reinecke's avatar
Martin Reinecke committed
823
      ROTX90<fwd>(t4);
Martin Reinecke's avatar
Martin Reinecke committed
824 825
      PM(CH(0,k,0),CH(0,k,2),t2,t3);
      PM(CH(0,k,1),CH(0,k,3),t1,t4);
826 827 828
      }
      for (size_t i=1; i<ido; ++i)
        {
Martin Reinecke's avatar
Martin Reinecke committed
829
        T t1, t2, t3, t4;
830
        T cc0=CC(i,0,k), cc1=CC(i,1,k),cc2=CC(i,2,k),cc3=CC(i,3,k);
Martin Reinecke's avatar
Martin Reinecke committed
831 832
        PM(t2,t1,cc0,cc2);
        PM(t3,t4,cc1,cc3);
Martin Reinecke's avatar
Martin Reinecke committed
833
        ROTX90<fwd>(t4);
Martin Reinecke's avatar
Martin Reinecke committed
834 835 836 837
        CH(i,k,0) = t2+t3;
        special_mul<fwd>(t1+t4,WA(0,i),CH(i,k,1));
        special_mul<fwd>(t2-t3,WA(1,i),CH(i,k,2));
        special_mul<fwd>(t1-t4,WA(2,i),CH(i,k,3));
838 839 840 841
        }
      }
  }

842
#define POCKETFFT_PREP5(idx) \
843
        T t0 = CC(idx,0,k), t1, t2, t3, t4; \
Martin Reinecke's avatar
Martin Reinecke committed
844 845
        PM (t1,t4,CC(idx,1,k),CC(idx,4,k)); \
        PM (t2,t3,CC(idx,2,k),CC(idx,3,k)); \
846 847 848
        CH(idx,k,0).r=t0.r+t1.r+t2.r; \
        CH(idx,k,0).i=t0.i+t1.i+t2.i;

849
#define POCKETFFT_PARTSTEP5a(u1,u2,twar,twbr,twai,twbi) \
850 851 852 853 854 855
        { \
        T ca,cb; \
        ca.r=t0.r+twar*t1.r+twbr*t2.r; \
        ca.i=t0.i+twar*t1.i+twbr*t2.i; \
        cb.i=twai*t4.r twbi*t3.r; \
        cb.r=-(twai*t4.i twbi*t3.i); \
Martin Reinecke's avatar
Martin Reinecke committed
856
        PM(CH(0,k,u1),CH(0,k,u2),ca,cb); \
857 858
        }

859
#define POCKETFFT_PARTSTEP5b(u1,u2,twar,twbr,twai,twbi) \
860 861 862 863 864 865
        { \
        T ca,cb,da,db; \
        ca.r=t0.r+twar*t1.r+twbr*t2.r; \
        ca.i=t0.i+twar*t1.i+twbr*t2.i; \
        cb.i=twai*t4.r twbi*t3.r; \
        cb.r=-(twai*t4.i twbi*t3.i); \
Martin Reinecke's avatar
Martin Reinecke committed
866 867
        special_mul<fwd>(ca+cb,WA(u1-1,i),CH(i,k,u1)); \
        special_mul<fwd>(ca-cb,WA(u2-1,i),CH(i,k,u2)); \
868
        }
Martin Reinecke's avatar
Martin Reinecke committed
869
template<bool fwd, typename T> void pass5 (size_t ido, size_t l1,
870
  const T * POCKETFFT_RESTRICT cc, T * POCKETFFT_RESTRICT ch,
Martin Reinecke's avatar
Martin Reinecke committed
871
  const cmplx<T0> * POCKETFFT_RESTRICT wa) const
872 873
  {
  constexpr size_t cdim=5;
Martin Reinecke's avatar
sync  
Martin Reinecke committed
874
  constexpr T0 tw1r= T0(0.3090169943749474241022934171828191L),
Martin Reinecke's avatar
Martin Reinecke committed
875
               tw1i= (fwd ? -1: 1) * T0(0.9510565162951535721164393333793821L),
Martin Reinecke's avatar
sync  
Martin Reinecke committed
876
               tw2r= T0(-0.8090169943749474241022934171828191L),
Martin Reinecke's avatar
Martin Reinecke committed
877
               tw2i= (fwd ? -1: 1) * T0(0.5877852522924731291687059546390728L);
878

879 880
  auto CH = [ch,ido,l1](size_t a, size_t b, size_t c) -> T&
    { return ch[a+ido*(b+l1*c)]; };
881
  auto CC = [cc,ido,cdim](size_t a, size_t b, size_t c) -> const T&
882 883 884 885
    { return cc[a+ido*(b+cdim*c)]; };
  auto WA = [wa, ido](size_t x, size_t i)
    { return wa[i-1+x*(ido-1)]; };

886 887 888
  if (ido==1)
    for (size_t k=0; k<l1; ++k)
      {
889 890 891
      POCKETFFT_PREP5(0)
      POCKETFFT_PARTSTEP5a(1,4,tw1r,tw2r,+tw1i,+tw2i)
      POCKETFFT_PARTSTEP5a(2,3,tw2r,tw1r,+tw2i,-tw1i)
892 893 894 895 896
      }
  else
    for (size_t k=0; k<l1; ++k)
      {
      {
897 898 899
      POCKETFFT_PREP5(0)
      POCKETFFT_PARTSTEP5a(1,4,tw1r,tw2r,+tw1i,+tw2i)
      POCKETFFT_PARTSTEP5a(2,3,tw2r,tw1r,+tw2i,-tw1i)
900 901 902
      }
      for (size_t i=1; i<ido; ++i)
        {
903 904 905
        POCKETFFT_PREP5(i)
        POCKETFFT_PARTSTEP5b(1,4,tw1r,tw2r,+tw1i,+tw2i)
        POCKETFFT_PARTSTEP5b(2,3,tw2r,tw1r,+tw2i,-tw1i)
906 907 908 909
        }
      }
  }

910 911 912
#undef POCKETFFT_PARTSTEP5b
#undef POCKETFFT_PARTSTEP5a
#undef POCKETFFT_PREP5
913

914
#define POCKETFFT_PREP7(idx) \
915
        T t1 = CC(idx,0,k), t2, t3, t4, t5, t6, t7; \
Martin Reinecke's avatar
Martin Reinecke committed
916 917 918
        PM (t2,t7,CC(idx,1,k),CC(idx,6,k)); \
        PM (t3,t6,CC(idx,2,k),CC(idx,5,k)); \
        PM (t4,t5,CC(idx,3,k),CC(idx,4,k)); \
919 920 921
        CH(idx,k,0).r=t1.r+t2.r+t3.r+t4.r; \
        CH(idx,k,0).i=t1.i+t2.i+t3.i+t4.i;

922
#define POCKETFFT_PARTSTEP7a0(u1,u2,x1,x2,x3,y1,y2,y3,out1,out2) \
923 924 925 926 927 928
        { \
        T ca,cb; \
        ca.r=t1.r+x1*t2.r+x2*t3.r+x3*t4.r; \
        ca.i=t1.i+x1*t2.i+x2*t3.i+x3*t4.i; \
        cb.i=y1*t7.r y2*t6.r y3*t5.r; \
        cb.r=-(y1*t7.i y2*t6.i y3*t5.i); \
Martin Reinecke's avatar
Martin Reinecke committed
929
        PM(out1,out2,ca,cb); \
930
        }
931 932 933
#define POCKETFFT_PARTSTEP7a(u1,u2,x1,x2,x3,y1,y2,y3) \
        POCKETFFT_PARTSTEP7a0(u1,u2,x1,x2,x3,y1,y2,y3,CH(0,k,u1),CH(0,k,u2))
#define POCKETFFT_PARTSTEP7(u1,u2,x1,x2,x3,y1,y2,y3) \
934 935
        { \
        T da,db; \
936
        POCKETFFT_PARTSTEP7a0(u1,u2,x1,x2,x3,y1,y2,y3,da,db) \
Martin Reinecke's avatar
Martin Reinecke committed
937 938
        special_mul<fwd>(da,WA(u1-1,i),CH(i,k,u1)); \
        special_mul<fwd>(db,WA(u2-1,i),CH(i,k,u2)); \
939 940
        }

Martin Reinecke's avatar
Martin Reinecke committed
941
template<bool fwd, typename T> void pass7(size_t ido, size_t l1,
942
  const T * POCKETFFT_RESTRICT cc, T * POCKETFFT_RESTRICT ch,
Martin Reinecke's avatar
Martin Reinecke committed
943
  const cmplx<T0> * POCKETFFT_RESTRICT wa) const
944 945
  {
  constexpr size_t cdim=7;
Martin Reinecke's avatar
sync  
Martin Reinecke committed
946
  constexpr T0 tw1r= T0(0.6234898018587335305250048840042398L),
Martin Reinecke's avatar
Martin Reinecke committed
947
               tw1i= (fwd ? -1 : 1) * T0(0.7818314824680298087084445266740578L),
Martin Reinecke's avatar
sync  
Martin Reinecke committed
948
               tw2r= T0(-0.2225209339563144042889025644967948L),
Martin Reinecke's avatar
Martin Reinecke committed
949
               tw2i= (fwd ? -1 : 1) * T0(0.9749279121818236070181316829939312L),
Martin Reinecke's avatar
sync  
Martin Reinecke committed
950
               tw3r= T0(-0.9009688679024191262361023195074451L),
Martin Reinecke's avatar
Martin Reinecke committed
951
               tw3i= (fwd ? -1 : 1) * T0(0.433883739117558120475768332848359L);
952

953 954
  auto CH = [ch,ido,l1](size_t a, size_t b, size_t c) -> T&
    { return ch[a+ido*(b+l1*c)]; };
955
  auto CC = [cc,ido,cdim](size_t a, size_t b, size_t c) -> const T&
956 957 958 959
    { return cc[a+ido*(b+cdim*c)]; };
  auto WA = [wa, ido](size_t x, size_t i)
    { return wa[i-1+x*(ido-1)]; };

960 961 962
  if (ido==1)
    for (size_t k=0; k<l1; ++k)
      {
963 964 965 966
      POCKETFFT_PREP7(0)
      POCKETFFT_PARTSTEP7a(1,6,tw1r,tw2r,tw3r,+tw1i,+tw2i,+tw3i)
      POCKETFFT_PARTSTEP7a(2,5,tw2r,tw3r,tw1r,+tw2i,-tw3i,-tw1i)
      POCKETFFT_PARTSTEP7a(3,4,tw3r,tw1r,tw2r,+tw3i,-tw1i,+tw2i)
967 968 969 970 971
      }
  else
    for (size_t k=0; k<l1; ++k)
      {
      {
972 973 974 975
      POCKETFFT_PREP7(0)
      POCKETFFT_PARTSTEP7a(1,6,tw1r,tw2r,tw3r,+tw1i,+tw2i,+tw3i)
      POCKETFFT_PARTSTEP7a(2,5,tw2r,tw3r,tw1r,+tw2i,-tw3i,-tw1i)
      POCKETFFT_PARTSTEP7a(3,4,tw3r,tw1r,tw2r,+tw3i,-tw1i,+tw2i)
976 977 978
      }
      for (size_t i=1; i<ido; ++i)
        {
979 980 981 982
        POCKETFFT_PREP7(i)
        POCKETFFT_PARTSTEP7(1,6,tw1r,tw2r,tw3r,+tw1i,+tw2i,+tw3i)
        POCKETFFT_PARTSTEP7(2,5,tw2r,tw3r,tw1r,+tw2i,-tw3i,-tw1i)
        POCKETFFT_PARTSTEP7(3,4,tw3r,tw1r,tw2r,+tw3i,-tw1i,+tw2i)
983 984 985 986
        }
      }
  }

987 988 989 990
#undef POCKETFFT_PARTSTEP7
#undef POCKETFFT_PARTSTEP7a0
#undef POCKETFFT_PARTSTEP7a
#undef POCKETFFT_PREP7
991

Martin Reinecke's avatar
Martin Reinecke committed
992
template <bool fwd, typename T> void ROTX45(T &a) const
Martin Reinecke's avatar
sync  
Martin Reinecke committed
993 994
  {
  constexpr T0 hsqt2=T0(0.707106781186547524400844362104849L);
Martin Reinecke's avatar
Martin Reinecke committed
995
  if (fwd)
Martin Reinecke's avatar
sync  
Martin Reinecke committed
996
    { auto tmp_=a.r; a.r=hsqt2*(a.r+a.i); a.i=hsqt2*(a.i-tmp_); }
Martin Reinecke's avatar
Martin Reinecke committed
997 998
  else
    { auto tmp_=a.r; a.r=hsqt2*(a.r-a.i); a.i=hsqt2*(a.i+tmp_); }
Martin Reinecke's avatar
sync  
Martin Reinecke committed
999
  }
Martin Reinecke's avatar
Martin Reinecke committed
1000
template <bool fwd, typename T> void ROTX135(T &a) const
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1001 1002
  {
  constexpr T0 hsqt2=T0(0.707106781186547524400844362104849L);
Martin Reinecke's avatar
Martin Reinecke committed
1003
  if (fwd)
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1004
    { auto tmp_=a.r; a.r=hsqt2*(a.i-a.r); a.i=hsqt2*(-tmp_-a.i); }
Martin Reinecke's avatar
Martin Reinecke committed
1005 1006
  else
    { auto tmp_=a.r; a.r=hsqt2*(-a.r-a.i); a.i=hsqt2*(tmp_-a.i); }
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1007 1008
  }

Martin Reinecke's avatar
Martin Reinecke committed
1009
template<bool fwd, typename T> void pass8 (size_t ido, size_t l1,
1010
  const T * POCKETFFT_RESTRICT cc, T * POCKETFFT_RESTRICT ch,
Martin Reinecke's avatar
Martin Reinecke committed
1011
  const cmplx<T0> * POCKETFFT_RESTRICT wa) const
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1012 1013 1014
  {
  constexpr size_t cdim=8;

1015 1016
  auto CH = [ch,ido,l1](size_t a, size_t b, size_t c) -> T&
    { return ch[a+ido*(b+l1*c)]; };
1017
  auto CC = [cc,ido,cdim](size_t a, size_t b, size_t c) -> const T&
1018 1019 1020 1021
    { return cc[a+ido*(b+cdim*c)]; };
  auto WA = [wa, ido](size_t x, size_t i)
    { return wa[i-1+x*(ido-1)]; };

Martin Reinecke's avatar
sync  
Martin Reinecke committed
1022 1023 1024 1025
  if (ido==1)
    for (size_t k=0; k<l1; ++k)
      {
      T a0, a1, a2, a3, a4, a5, a6, a7;
Martin Reinecke's avatar
Martin Reinecke committed
1026 1027
      PM(a1,a5,CC(0,1,k),CC(0,5,k));
      PM(a3,a7,CC(0,3,k),CC(0,7,k));
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1028
      PMINPLACE(a1,a3);
Martin Reinecke's avatar
Martin Reinecke committed
1029
      ROTX90<fwd>(a3);
Martin Reinecke's avatar
Martin Reinecke committed
1030 1031

      ROTX90<fwd>(a7);
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1032
      PMINPLACE(a5,a7);
Martin Reinecke's avatar
Martin Reinecke committed
1033 1034
      ROTX45<fwd>(a5);
      ROTX135<fwd>(a7);
Martin Reinecke's avatar
Martin Reinecke committed
1035

Martin Reinecke's avatar
Martin Reinecke committed
1036 1037 1038 1039
      PM(a0,a4,CC(0,0,k),CC(0,4,k));
      PM(a2,a6,CC(0,2,k),CC(0,6,k));
      PM(CH(0,k,0),CH(0,k,4),a0+a2,a1);
      PM(CH(0,k,2),CH(0,k,6),a0-a2,a3);
Martin Reinecke's avatar
Martin Reinecke committed
1040
      ROTX90<fwd>(a6);
Martin Reinecke's avatar
Martin Reinecke committed
1041 1042
      PM(CH(0,k,1),CH(0,k,5),a4+a6,a5);
      PM(CH(0,k,3),CH(0,k,7),a4-a6,a7);
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1043 1044 1045
      }
  else
    for (size_t k=0; k<l1; ++k)
Martin Reinecke's avatar
Martin Reinecke committed
1046
      {
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1047 1048
      {
      T a0, a1, a2, a3, a4, a5, a6, a7;
Martin Reinecke's avatar
Martin Reinecke committed
1049 1050
      PM(a1,a5,CC(0,1,k),CC(0,5,k));
      PM(a3,a7,CC(0,3,k),CC(0,7,k));
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1051
      PMINPLACE(a1,a3);
Martin Reinecke's avatar
Martin Reinecke committed
1052
      ROTX90<fwd>(a3);
Martin Reinecke's avatar
Martin Reinecke committed
1053 1054

      ROTX90<fwd>(a7);
Martin Reinecke's avatar
sync  
Martin Reinecke committed
1055
      PMINPLACE(a5,a7);