7 #define WORK_COUNT 10000
8 static volatile uint64_t
sink;
10 int main(
int argc,
char** argv) {
11 (void)argc; (void)argv;
13 uint64_t v1 = 0x1234, v2 = 0x5678;
15 "movnti %[v1], (%[p])\n\t"
16 "movnti %[v2], (%[p])\n\t"
19 : [p]
"r"(&
buf[i]), [v1]
"r"(v1), [v2]
"r"(v2)
int main(int argc, char **argv)
static volatile uint64_t sink
static uint64_t buf[WORK_COUNT] __attribute__((aligned(16)))
static uint64_t buf[ITERS]