avx_512.c

#include <stdlib.h>
#include <stdio.h>
#include <x86intrin.h>

int main(int argc, char** argv) {
  __v16si a = {1,2,3,4,5,6,7,8,0,0,0,0,0,0,0,0};
  __v16si b = {9,10,11,12,13,14,15,16,1,1,1,1,1,1,1,1};
  __v16si c;

  c = a+b;
  printf("%d %d %d %d %d %d %d %d\n", c[0],c[1],c[2],c[3],c[4],c[5],c[6],c[7]);
  return 0;
}