1 /* { dg-do compile } */
2 /* { dg-require-effective-target vect_int } */
4 void f(short * __restrict__ a, short * __restrict__ b, short * __restrict__ x)
11 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
12 /* { dg-final { cleanup-tree-dump "vect" } } */