-rw-r--r-- 360 saferewrite-20260201/src/int32x8_loadtail_8/ref/load.c raw
#include <inttypes.h>
#include "m.h"

// have an array x[0]...x[n-1] with n >= 8
// want to load x[m]...x[m+7], but only what fits within x[0]...x[n-1]
// setting remaining words to c
void int32x8_loadtail(int32_t *y,const int32_t *x,long long n,int32_t c)
{
  long long i;
  for (i = 0;i < 8;++i) y[i] = c;
  for (i = 0;i < 8 && m+i < n;++i) y[i] = x[m+i];
}