1  /* PR target/94343 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mavx512vl" } */
       4  /* { dg-final { scan-assembler "vpternlogd\[^\n\r]*xmm\[0-9]*" } } */
       5  
       6  typedef int __v4si __attribute__((vector_size (16)));
       7  
       8  __v4si
       9  foo (__v4si a)
      10  {
      11    return ~a;
      12  }