#ifndef PQCLEAN_MCELIECE8192128F_AVX_UTIL_H #define PQCLEAN_MCELIECE8192128F_AVX_UTIL_H /* This file is for loading/storing data in a little-endian fashion */ #include "vec128.h" #include void PQCLEAN_MCELIECE8192128F_AVX_store_i(unsigned char *out, uint64_t in, int i); void PQCLEAN_MCELIECE8192128F_AVX_store2(unsigned char *dest, uint16_t a); uint16_t PQCLEAN_MCELIECE8192128F_AVX_load2(const unsigned char *src); uint32_t PQCLEAN_MCELIECE8192128F_AVX_load4(const unsigned char *src); void PQCLEAN_MCELIECE8192128F_AVX_irr_load(vec128 *out, const unsigned char *in); void PQCLEAN_MCELIECE8192128F_AVX_store8(unsigned char *out, uint64_t in); uint64_t PQCLEAN_MCELIECE8192128F_AVX_load8(const unsigned char *in); vec128 PQCLEAN_MCELIECE8192128F_AVX_load16(const unsigned char *in); void PQCLEAN_MCELIECE8192128F_AVX_store16(unsigned char *out, vec128 in); #endif