#include "crypto_decode_1277xint16.h"


void PQCLEAN_NTRULPR1277_AVX2_crypto_decode_1277xint16(void *v, const unsigned char *s) {
    uint16_t *x = v;
    int i;

    for (i = 0; i < 1277; ++i) {
        uint16_t u0 = s[0];
        uint16_t u1 = s[1];
        u1 <<= 8;
        *x = u0 | u1;
        x += 1;
        s += 2;
    }
}