#include "stdlib.h"
#include "dataset.h"

void __attribute__((noinline)) vvadd(int coreid, int ncores, size_t n, const data_t* x, const data_t* y, data_t* z)
{
  size_t i;
  size_t leftover = n % (n / ncores);
  for (i = coreid * (n / ncores); i < (coreid + 1) * (n / ncores); i++) {
    z[i] = x[i] + y[i];
  }
  for (i = (n - leftover) + coreid; i < n; i += ncores) {
    z[i] = x[i] + y[i];
  }
}