2 /* { dg-options "-mno-avx512f -Werror=psabi" } */
4 typedef int V
__attribute__((vector_size (64)));
6 void foo (V x
, V
*y
) { /* { dg-error "AVX512F vector argument without AVX512F enabled" } */
7 /* { dg-message "The ABI for passing parameters with 64-byte alignment has changed" "" { target *-*-* } .-1 } */
11 V
bar (V
*x
) { /* { dg-error "AVX512F vector return without AVX512F enabled" } */
15 /* { dg-message "some warnings being treated as errors" "" { target *-*-* } 0 } */