1  /* PR target/80355 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -mavx512f -mno-avx512vl -mno-avx512dq" } */
       4  /* { dg-final { scan-assembler "\tvshufi32x4\t" } } */
       5  /* { dg-final { scan-assembler "\tvshufi64x2\t" } } */
       6  
       7  typedef long long V __attribute__((vector_size (64)));
       8  typedef int W __attribute__((vector_size (64)));
       9  
      10  W
      11  f0 (W x)
      12  {
      13    return __builtin_shuffle (x, (W) { 8, 9, 10, 11, 12, 13, 14, 15, 0, 1, 2, 3, 4, 5, 6, 7 });
      14  }
      15  V
      16  f1 (V x)
      17  {
      18    return __builtin_shuffle (x, (V) { 4, 5, 6, 7, 0, 1, 2, 3 });
      19  }