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)8int foo (int i) { 9 register v16 u asm ("xmm0"); 10 return u[i]; 11 } 12 mpx_test(int argc,const char ** argv)13int 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