cannam@127: /*
cannam@127:  * Copyright (c) 2003, 2007-11 Matteo Frigo
cannam@127:  * Copyright (c) 2003, 2007-11 Massachusetts Institute of Technology
cannam@127:  *
cannam@127:  * AVX-512 support implemented by Romain Dolbeau.
cannam@127:  * Romain Dolbeau hereby places his modifications in the public domain.
cannam@127:  *
cannam@127:  * Permission is hereby granted, free of charge, to any person obtaining a copy
cannam@127:  * of this software and associated documentation files (the "Software"), to deal
cannam@127:  * in the Software without restriction, including without limitation the rights
cannam@127:  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
cannam@127:  * copies of the Software, and to permit persons to whom the Software is
cannam@127:  * furnished to do so, subject to the following conditions:
cannam@127:  *
cannam@127:  * The above copyright notice and this permission notice shall be included in
cannam@127:  * all copies or substantial portions of the Software.
cannam@127:  *
cannam@127:  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
cannam@127:  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
cannam@127:  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
cannam@127:  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
cannam@127:  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
cannam@127:  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
cannam@127:  * THE SOFTWARE.
cannam@127:  *
cannam@127:  */
cannam@127: 
cannam@127: #if defined(FFTW_LDOUBLE) || defined(FFTW_QUAD)
cannam@127: #error "AVX-512 vector instructions only works in single or double precision"
cannam@127: #endif
cannam@127: 
cannam@127: #ifdef FFTW_SINGLE
cannam@127: #  define DS(d,s) s /* single-precision option */
cannam@127: #  define SUFF(name) name ## _ps
cannam@127: #  define SCAL(x) x ## f
cannam@127: #else /* !FFTW_SINGLE */
cannam@127: #  define DS(d,s) d /* double-precision option */
cannam@127: #  define SUFF(name) name ## _pd
cannam@127: #  define SCAL(x) x
cannam@127: #endif /* FFTW_SINGLE */
cannam@127: 
cannam@127: #define SIMD_SUFFIX  _avx512  /* for renaming */
cannam@127: #define VL DS(4, 8)        /* SIMD complex vector length */
cannam@127: #define SIMD_VSTRIDE_OKA(x) ((x) == 2) 
cannam@127: #define SIMD_STRIDE_OKPAIR SIMD_STRIDE_OK
cannam@127: 
cannam@127: #if defined(__GNUC__) && !defined(__AVX512F__) /* sanity check */
cannam@127: #error "compiling simd-avx512.h without avx-512f support"
cannam@127: #endif
cannam@127: 
cannam@127: #if !defined(HAVE_FMA)
cannam@127: #warning "You should probably enable FMAs with --enable-fma for AVX-512"
cannam@127: #endif
cannam@127: 
cannam@127: #if !defined(HAVE_AVX2)
cannam@127: #warning "You should probably enable AVX2 with --enable-avx2 for AVX-512"
cannam@127: #endif
cannam@127: 
cannam@127: #include <immintrin.h>
cannam@127: 
cannam@127: typedef DS(__m512d, __m512) V;
cannam@127: 
cannam@127: #define VLIT(re, im) DS(SUFF(_mm512_setr)(im, re, im, re, im, re, im, re),SUFF(_mm512_setr)(im, re, im, re, im, re, im, re, im, re, im, re, im, re, im, re))
cannam@127: #define VLIT1(val) SUFF(_mm512_set1)(val)
cannam@127: #define LDK(x) x
cannam@127: #define DVK(var, val) V var = VLIT1(val)
cannam@127: #define VZERO SUFF(_mm512_setzero)()
cannam@127: 
cannam@127: #define VDUPL(x) DS(_mm512_movedup_pd(x),_mm512_moveldup_ps(x))
cannam@127: #define VDUPH(x) DS(_mm512_unpackhi_pd(x, x),_mm512_movehdup_ps(x))
cannam@127: #define FLIP_RI(x) SUFF(_mm512_shuffle)(x, x, DS(0x55,0xB1))
cannam@127: #define VCONJ(x) SUFF(_mm512_fmsubadd)(VZERO, VZERO, x)
cannam@127: static inline V VBYI(V x)
cannam@127: {
cannam@127:      return FLIP_RI(VCONJ(x));
cannam@127: }
cannam@127: 
cannam@127: #define VADD(a,b) SUFF(_mm512_add)(a,b)
cannam@127: #define VSUB(a,b) SUFF(_mm512_sub)(a,b)
cannam@127: #define VMUL(a,b) SUFF(_mm512_mul)(a,b)
cannam@127: #define VFMA(a, b, c)  SUFF(_mm512_fmadd)(a, b, c)
cannam@127: #define VFMS(a, b, c)  SUFF(_mm512_fmsub)(a, b, c)
cannam@127: #define VFNMS(a, b, c) SUFF(_mm512_fnmadd)(a, b, c)
cannam@127: #define VFMAI(b, c)    SUFF(_mm512_fmaddsub)(VLIT1(1.), c, FLIP_RI(b))
cannam@127: #define VFNMSI(b, c)   SUFF(_mm512_fmsubadd)(VLIT1(1.), c, FLIP_RI(b))
cannam@127: #define VFMACONJ(b,c)  SUFF(_mm512_fmsubadd)(VLIT1(1.), c, b)
cannam@127: #define VFMSCONJ(b,c)  SUFF(_mm512_fmsubadd)(VLIT1(-1.), c, b)
cannam@127: #define VFNMSCONJ(b,c) SUFF(_mm512_fmaddsub)(VLIT1(1.), c, b)
cannam@127: 
cannam@127: static inline V LDA(const R *x, INT ivs, const R *aligned_like) {
cannam@127:   (void)aligned_like; /* UNUSED */
cannam@127:   (void)ivs; /* UNUSED */
cannam@127:   return SUFF(_mm512_load)(x);
cannam@127: }
cannam@127: static inline void STA(R *x, V v, INT ovs, const R *aligned_like) {
cannam@127:   (void)aligned_like; /* UNUSED */
cannam@127:   (void)ovs; /* UNUSED */
cannam@127:   SUFF(_mm512_store)(x, v);
cannam@127: }
cannam@127: 
cannam@127: #if FFTW_SINGLE
cannam@127: 
cannam@127: static inline V LDu(const R *x, INT ivs, const R *aligned_like)
cannam@127: {
cannam@127:   (void)aligned_like; /* UNUSED */
cannam@127:   __m512i index = _mm512_set_epi32(7 * ivs + 1, 7 * ivs,
cannam@127:                                    6 * ivs + 1, 6 * ivs,
cannam@127:                                    5 * ivs + 1, 5 * ivs,
cannam@127:                                    4 * ivs + 1, 4 * ivs,
cannam@127:                                    3 * ivs + 1, 3 * ivs,
cannam@127:                                    2 * ivs + 1, 2 * ivs,
cannam@127:                                    1 * ivs + 1, 1 * ivs,
cannam@127:                                    0 * ivs + 1, 0 * ivs);
cannam@127:   
cannam@127:   return _mm512_i32gather_ps(index, x, 4);
cannam@127: }
cannam@127: 
cannam@127: static inline void STu(R *x, V v, INT ovs, const R *aligned_like)
cannam@127: {
cannam@127:   (void)aligned_like; /* UNUSED */
cannam@127:   __m512i index = _mm512_set_epi32(7 * ovs + 1, 7 * ovs,
cannam@127:                                    6 * ovs + 1, 6 * ovs,
cannam@127:                                    5 * ovs + 1, 5 * ovs,
cannam@127:                                    4 * ovs + 1, 4 * ovs,
cannam@127:                                    3 * ovs + 1, 3 * ovs,
cannam@127:                                    2 * ovs + 1, 2 * ovs,
cannam@127:                                    1 * ovs + 1, 1 * ovs,
cannam@127:                                    0 * ovs + 1, 0 * ovs);
cannam@127:   
cannam@127:   _mm512_i32scatter_ps(x, index, v, 4);
cannam@127: }
cannam@127: 
cannam@127: #else /* !FFTW_SINGLE */
cannam@127: 
cannam@127: static inline V LDu(const R *x, INT ivs, const R *aligned_like)
cannam@127: {
cannam@127:   (void)aligned_like; /* UNUSED */
cannam@127:   __m256i index = _mm256_set_epi32(3 * ivs + 1, 3 * ivs,
cannam@127:                                    2 * ivs + 1, 2 * ivs,
cannam@127:                                    1 * ivs + 1, 1 * ivs,
cannam@127:                                    0 * ivs + 1, 0 * ivs);
cannam@127:   
cannam@127:   return _mm512_i32gather_pd(index, x, 8);
cannam@127: }
cannam@127: 
cannam@127: static inline void STu(R *x, V v, INT ovs, const R *aligned_like)
cannam@127: {
cannam@127:   (void)aligned_like; /* UNUSED */
cannam@127:   __m256i index = _mm256_set_epi32(3 * ovs + 1, 3 * ovs,
cannam@127:                                    2 * ovs + 1, 2 * ovs,
cannam@127:                                    1 * ovs + 1, 1 * ovs,
cannam@127:                                    0 * ovs + 1, 0 * ovs);
cannam@127:   
cannam@127:   _mm512_i32scatter_pd(x, index, v, 8);
cannam@127: }
cannam@127: 
cannam@127: #endif /* FFTW_SINGLE */
cannam@127: 
cannam@127: #define LD LDu
cannam@127: #define ST STu
cannam@127: 
cannam@127: #ifdef FFTW_SINGLE
cannam@127: #define STM2(x, v, ovs, a) ST(x, v, ovs, a)
cannam@127: #define STN2(x, v0, v1, ovs) /* nop */
cannam@127: 
cannam@127: static inline void STM4(R *x, V v, INT ovs, const R *aligned_like)
cannam@127: {
cannam@127:   (void)aligned_like; /* UNUSED */
cannam@127:   __m512i index = _mm512_set_epi32(15 * ovs, 14 * ovs,
cannam@127:                                    13 * ovs, 12 * ovs,
cannam@127:                                    11 * ovs, 10 * ovs,
cannam@127:                                    9 * ovs, 8 * ovs,
cannam@127:                                    7 * ovs, 6 * ovs,
cannam@127:                                    5 * ovs, 4 * ovs,
cannam@127:                                    3 * ovs, 2 * ovs,
cannam@127:                                    1 * ovs, 0 * ovs);
cannam@127:   
cannam@127:   _mm512_i32scatter_ps(x, index, v, 4);
cannam@127: }
cannam@127: #define STN4(x, v0, v1, v2, v3, ovs)  /* no-op */
cannam@127: #else /* !FFTW_SINGLE */
cannam@127: #define STM2(x, v, ovs, a) ST(x, v, ovs, a)
cannam@127: #define STN2(x, v0, v1, ovs) /* nop */
cannam@127: 
cannam@127: static inline void STM4(R *x, V v, INT ovs, const R *aligned_like)
cannam@127: {
cannam@127:   (void)aligned_like; /* UNUSED */
cannam@127:   __m256i index = _mm256_set_epi32(7 * ovs, 6 * ovs,
cannam@127:                                    5 * ovs, 4 * ovs,
cannam@127:                                    3 * ovs, 2 * ovs,
cannam@127:                                    1 * ovs, 0 * ovs);
cannam@127:   
cannam@127:   _mm512_i32scatter_pd(x, index, v, 8);
cannam@127: }
cannam@127: #define STN4(x, v0, v1, v2, v3, ovs)  /* no-op */
cannam@127: #endif /* FFTW_SINGLE */
cannam@127: 
cannam@127: static inline V VZMUL(V tx, V sr)
cannam@127: {
cannam@127:      /* V tr = VDUPL(tx); */
cannam@127:      /* V ti = VDUPH(tx); */
cannam@127:      /* tr = VMUL(sr, tr); */
cannam@127:      /* sr = VBYI(sr); */
cannam@127:      /* return VFMA(ti, sr, tr); */
cannam@127:      return SUFF(_mm512_fmaddsub)(sr, VDUPL(tx), VMUL(FLIP_RI(sr), VDUPH(tx)));
cannam@127: }
cannam@127: 
cannam@127: static inline V VZMULJ(V tx, V sr)
cannam@127: {
cannam@127:      /* V tr = VDUPL(tx); */
cannam@127:      /* V ti = VDUPH(tx); */
cannam@127:      /* tr = VMUL(sr, tr); */
cannam@127:      /* sr = VBYI(sr); */
cannam@127:      /* return VFNMS(ti, sr, tr); */
cannam@127:      return SUFF(_mm512_fmsubadd)(sr, VDUPL(tx), VMUL(FLIP_RI(sr), VDUPH(tx)));
cannam@127: }
cannam@127: 
cannam@127: static inline V VZMULI(V tx, V sr)
cannam@127: {
cannam@127:      V tr = VDUPL(tx);
cannam@127:      V ti = VDUPH(tx);
cannam@127:      ti = VMUL(ti, sr);
cannam@127:      sr = VBYI(sr);
cannam@127:      return VFMS(tr, sr, ti);
cannam@127:   /* return SUFF(_mm512_addsub)(SUFF(_mm512_fnmadd)(sr, VDUPH(tx), VZERO), VMUL(FLIP_RI(sr), VDUPL(tx))); */
cannam@127: }
cannam@127: 
cannam@127: static inline V VZMULIJ(V tx, V sr)
cannam@127: {
cannam@127:      /* V tr = VDUPL(tx); */
cannam@127:      /* V ti = VDUPH(tx); */
cannam@127:      /* ti = VMUL(ti, sr); */
cannam@127:      /* sr = VBYI(sr); */
cannam@127:      /* return VFMA(tr, sr, ti); */
cannam@127:      return SUFF(_mm512_fmaddsub)(sr, VDUPH(tx), VMUL(FLIP_RI(sr), VDUPL(tx)));
cannam@127: }
cannam@127: 
cannam@127: /* twiddle storage #1: compact, slower */
cannam@127: #ifdef FFTW_SINGLE
cannam@127: # define VTW1(v,x) {TW_CEXP, v, x}, {TW_CEXP, v+1, x}, {TW_CEXP, v+2, x}, {TW_CEXP, v+3, x}, {TW_CEXP, v+4, x}, {TW_CEXP, v+5, x}, {TW_CEXP, v+6, x}, {TW_CEXP, v+7, x}
cannam@127: #else /* !FFTW_SINGLE */
cannam@127: # define VTW1(v,x) {TW_CEXP, v, x}, {TW_CEXP, v+1, x}, {TW_CEXP, v+2, x}, {TW_CEXP, v+3, x}
cannam@127: #endif /* FFTW_SINGLE */
cannam@127: #define TWVL1 (VL)
cannam@127: 
cannam@127: static inline V BYTW1(const R *t, V sr)
cannam@127: {
cannam@127:      return VZMUL(LDA(t, 2, t), sr);
cannam@127: }
cannam@127: 
cannam@127: static inline V BYTWJ1(const R *t, V sr)
cannam@127: {
cannam@127:      return VZMULJ(LDA(t, 2, t), sr);
cannam@127: }
cannam@127: 
cannam@127: /* twiddle storage #2: twice the space, faster (when in cache) */
cannam@127: #ifdef FFTW_SINGLE
cannam@127: # define VTW2(v,x)							     \
cannam@127:    {TW_COS, v  ,  x}, {TW_COS, v  , x}, {TW_COS, v+1,  x}, {TW_COS, v+1, x}, \
cannam@127:    {TW_COS, v+2,  x}, {TW_COS, v+2, x}, {TW_COS, v+3,  x}, {TW_COS, v+3, x}, \
cannam@127:    {TW_COS, v+4,  x}, {TW_COS, v+4, x}, {TW_COS, v+5,  x}, {TW_COS, v+5, x}, \
cannam@127:    {TW_COS, v+6,  x}, {TW_COS, v+6, x}, {TW_COS, v+7,  x}, {TW_COS, v+7, x}, \
cannam@127:    {TW_SIN, v  , -x}, {TW_SIN, v  , x}, {TW_SIN, v+1, -x}, {TW_SIN, v+1, x}, \
cannam@127:    {TW_SIN, v+2, -x}, {TW_SIN, v+2, x}, {TW_SIN, v+3, -x}, {TW_SIN, v+3, x}, \
cannam@127:    {TW_SIN, v+4, -x}, {TW_SIN, v+4, x}, {TW_SIN, v+5, -x}, {TW_SIN, v+5, x}, \
cannam@127:    {TW_SIN, v+6, -x}, {TW_SIN, v+6, x}, {TW_SIN, v+7, -x}, {TW_SIN, v+7, x}
cannam@127: #else /* !FFTW_SINGLE */
cannam@127: # define VTW2(v,x)							     \
cannam@127:    {TW_COS, v  ,  x}, {TW_COS, v  , x}, {TW_COS, v+1,  x}, {TW_COS, v+1, x}, \
cannam@127:    {TW_COS, v+2,  x}, {TW_COS, v+2, x}, {TW_COS, v+3,  x}, {TW_COS, v+3, x}, \
cannam@127:    {TW_SIN, v  , -x}, {TW_SIN, v  , x}, {TW_SIN, v+1, -x}, {TW_SIN, v+1, x}, \
cannam@127:    {TW_SIN, v+2, -x}, {TW_SIN, v+2, x}, {TW_SIN, v+3, -x}, {TW_SIN, v+3, x}
cannam@127: #endif /* FFTW_SINGLE */
cannam@127: #define TWVL2 (2 * VL)
cannam@127: 
cannam@127: static inline V BYTW2(const R *t, V sr)
cannam@127: {
cannam@127:      const V *twp = (const V *)t;
cannam@127:      V si = FLIP_RI(sr);
cannam@127:      V tr = twp[0], ti = twp[1];
cannam@127: /*      V tr = LD(t, 2, t), ti = LD(t + VL, 2, t + VL); */
cannam@127:      return VFMA(tr, sr, VMUL(ti, si));
cannam@127: }
cannam@127: 
cannam@127: static inline V BYTWJ2(const R *t, V sr)
cannam@127: {
cannam@127:      const V *twp = (const V *)t;
cannam@127:      V si = FLIP_RI(sr);
cannam@127:      V tr = twp[0], ti = twp[1];
cannam@127: /*      V tr = LD(t, 2, t), ti = LD(t + VL, 2, t + VL); */
cannam@127:      return VFNMS(ti, si, VMUL(tr, sr));
cannam@127: }
cannam@127: 
cannam@127: /* twiddle storage #3 */
cannam@127: #define VTW3(v,x) VTW1(v,x)
cannam@127: #define TWVL3 TWVL1
cannam@127: 
cannam@127: /* twiddle storage for split arrays */
cannam@127: #ifdef FFTW_SINGLE
cannam@127: # define VTWS(v,x)                                                            \
cannam@127:   {TW_COS, v   , x}, {TW_COS, v+1 , x}, {TW_COS, v+2 , x}, {TW_COS, v+3 , x}, \
cannam@127:   {TW_COS, v+4 , x}, {TW_COS, v+5 , x}, {TW_COS, v+6 , x}, {TW_COS, v+7 , x}, \
cannam@127:   {TW_COS, v+8 , x}, {TW_COS, v+9 , x}, {TW_COS, v+10, x}, {TW_COS, v+11, x}, \
cannam@127:   {TW_COS, v+12, x}, {TW_COS, v+13, x}, {TW_COS, v+14, x}, {TW_COS, v+15, x}, \
cannam@127:   {TW_SIN, v   , x}, {TW_SIN, v+1 , x}, {TW_SIN, v+2 , x}, {TW_SIN, v+3 , x}, \
cannam@127:   {TW_SIN, v+4 , x}, {TW_SIN, v+5 , x}, {TW_SIN, v+6 , x}, {TW_SIN, v+7 , x}, \
cannam@127:   {TW_SIN, v+8 , x}, {TW_SIN, v+9 , x}, {TW_SIN, v+10, x}, {TW_SIN, v+11, x}, \
cannam@127:   {TW_SIN, v+12, x}, {TW_SIN, v+13, x}, {TW_SIN, v+14, x}, {TW_SIN, v+15, x}
cannam@127: #else /* !FFTW_SINGLE */
cannam@127: # define VTWS(v,x)							  \
cannam@127:   {TW_COS, v  , x}, {TW_COS, v+1, x}, {TW_COS, v+2, x}, {TW_COS, v+3, x}, \
cannam@127:   {TW_COS, v+4, x}, {TW_COS, v+5, x}, {TW_COS, v+6, x}, {TW_COS, v+7, x}, \
cannam@127:   {TW_SIN, v  , x}, {TW_SIN, v+1, x}, {TW_SIN, v+2, x}, {TW_SIN, v+3, x}, \
cannam@127:   {TW_SIN, v+4, x}, {TW_SIN, v+5, x}, {TW_SIN, v+6, x}, {TW_SIN, v+7, x}
cannam@127: #endif /* FFTW_SINGLE */
cannam@127: #define TWVLS (2 * VL)
cannam@127: 
cannam@127: #define VLEAVE() /* nothing */
cannam@127: 
cannam@127: #include "simd-common.h"