typedef int v4si [[gnu::vector_size(16)]];

v4si v4add(v4si a, v4si b) {
  asm("paddd %[b], %[a]" : [a] "+x"(a) : [b] "x"(b));
  return a;
}

v4si v4add2(v4si a, v4si b) { return a + b; }