1 #ifndef NTT_H
2 #define NTT_H
3 
4 #include <immintrin.h>
5 
6 #define ntt_avx DILITHIUM_NAMESPACE(ntt_avx)
7 void ntt_avx(__m256i *a, const __m256i *qdata);
8 #define invntt_avx DILITHIUM_NAMESPACE(invntt_avx)
9 void invntt_avx(__m256i *a, const __m256i *qdata);
10 
11 #define nttunpack_avx DILITHIUM_NAMESPACE(nttunpack_avx)
12 void nttunpack_avx(__m256i *a);
13 
14 #define pointwise_avx DILITHIUM_NAMESPACE(pointwise_avx)
15 void pointwise_avx(__m256i *c, const __m256i *a, const __m256i *b, const __m256i *qdata);
16 #define pointwise_acc_avx DILITHIUM_NAMESPACE(pointwise_acc_avx)
17 void pointwise_acc_avx(__m256i *c, const __m256i *a, const __m256i *b, const __m256i *qdata);
18 
19 #endif
20