1 /* { dg-do run { target sse2_runtime } } */
2 /* { dg-options "-fcheck-pointer-bounds -mmpx -msse2" } */
3 
4 #include "mpx-check.h"
5 
6 typedef int v16 __attribute__((vector_size(16)));
7 
foo(int i)8 int foo (int i) {
9   register v16 u asm ("xmm0");
10   return u[i];
11 }
12 
mpx_test(int argc,const char ** argv)13 int mpx_test (int argc, const char **argv)
14 {
15   printf ("%d\n", foo (3));
16   printf ("%d\n", foo (0));
17   return 0;
18 }
19