1/* PR target/70329 */ 2/* { dg-do run } */ 3/* { dg-options "-O0 -mavx512bw" } */ 4/* { dg-require-effective-target avx512bw } */ 5 6#define AVX512BW 7#include "avx512f-helper.h" 8 9typedef unsigned char A __attribute__ ((vector_size (64))); 10typedef unsigned int B __attribute__ ((vector_size (64))); 11 12unsigned __attribute__ ((noinline, noclone)) 13foo (A a, A b, B c) 14{ 15 a *= b; 16 c[1] += a[8]; 17 return c[1]; 18} 19 20void 21TEST (void) 22{ 23 A a = (A) { 1, 2, 3, 4, 5, 6, 7, 8, 9 }; 24 unsigned x = foo (a, a, (B) { 1, 2 }); 25 if (x != 83) 26 abort (); 27} 28