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