/* PR target/94343 */ | |
/* { dg-do compile } */ | |
/* { dg-options "-O2 -mavx512f -mno-avx512vl" } */ | |
/* { dg-final { scan-assembler-not "vpternlogd\[^\n\r]*xmm\[0-9]*" } } */ | |
typedef int __v4si __attribute__((vector_size (16))); | |
__v4si | |
foo (__v4si a) | |
{ | |
return ~a; | |
} |