--- /dev/null
+#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;
+ for (i = coreid; i < n; i += 2*ncores) {
+ z[i] = x[i] + y[i];
+ z[i+ncores] = x[i+ncores] + y[i+ncores];
+ }
+}