1 /* { dg-do compile } */
2 /* { dg-require-effective-target ia32 } */
3 /* { dg-options "-O -mtune=pentium2 -mavx512f" } */
5 typedef int v4si
__attribute__ ((vector_size (16)));
8 foo (unsigned char i
, unsigned x
, v4si u
, v4si v
, v4si w
)
12 return i
+ u
[x
] + v
[i
];