1  /* { dg-do compile { target vect_simd_clones } } */
       2  /* { dg-additional-options "-fdump-tree-gimple" } */
       3  /* { dg-additional-options "-mno-sse3" { target { i?86-*-* x86_64-*-* } } } */
       4  
       5  int f01 (int);
       6  int f02 (int);
       7  int f03 (int);
       8  int f04 (int);
       9  #pragma omp declare variant (f01) match (device={isa("avx512f")}) /* 4 or 8 */
      10  #pragma omp declare variant (f02) match (implementation={vendor(score(3):gnu)},device={kind(cpu)}) /* (1 or 2) + 3 */
      11  #pragma omp declare variant (f03) match (user={condition(score(9):1)})
      12  #pragma omp declare variant (f04) match (implementation={vendor(score(6):gnu)},device={kind(host)}) /* (1 or 2) + 6 */
      13  int f05 (int);
      14  
      15  #pragma omp declare simd
      16  int
      17  test1 (int x)
      18  {
      19    /* 0 or 1 (the latter if in a declare simd clone) constructs in OpenMP context,
      20       isa has score 2^2 or 2^3.  We can't decide on whether avx512f will match or
      21       not, that also depends on whether it is a declare simd clone or not and which
      22       one, but the f03 variant has a higher score anyway.  */
      23    return f05 (x);	/* { dg-final { scan-tree-dump-times "f03 \\\(x" 1 "gimple" } } */
      24  }