clang/test/SemaOpenACC/set-construct.cpp

   1 // RUN: %clang_cc1 %s -fopenacc -verify
   2
   3 struct NotConvertible{} NC;
   4 short getS();
   5 int getI();
   6
   7 struct AmbiguousConvert{
   8   operator int(); // #AMBIG_INT
   9   operator short(); // #AMBIG_SHORT
  10   operator float();
  11 } Ambiguous;
  12
  13 struct ExplicitConvertOnly {
  14   explicit operator int() const; // #EXPL_CONV
  15 } Explicit;
  16
  17 void uses() {
  18 #pragma acc set default_async(getI())
  19 #pragma acc set device_num(getI())
  20 #pragma acc set device_type(getI)
  21 #pragma acc set device_type(getI) if (getI() < getS())
  22
  23   // expected-error@+1{{value of type 'struct NotConvertible' is not contextually convertible to 'bool'}}
  24 #pragma acc set if (NC) device_type(I)
  25
  26   // expected-error@+2{{OpenACC 'set' construct must have at least one 'default_async', 'device_num', 'device_type' or 'if' clause}}
  27   // expected-error@+1{{OpenACC clause 'device_num' requires expression of integer type ('struct NotConvertible' invalid)}}
  28 #pragma acc set device_num(NC)
  29   // expected-error@+4{{OpenACC 'set' construct must have at least one 'default_async', 'device_num', 'device_type' or 'if' clause}}
  30   // expected-error@+3{{multiple conversions from expression type 'struct AmbiguousConvert' to an integral type}}
  31   // expected-note@#AMBIG_INT{{conversion to integral type 'int'}}
  32   // expected-note@#AMBIG_SHORT{{conversion to integral type 'short'}}
  33 #pragma acc set device_num(Ambiguous)
  34   // expected-error@+2{{OpenACC integer expression requires explicit conversion from 'struct ExplicitConvertOnly' to 'int'}}
  35   // expected-note@#EXPL_CONV{{conversion to integral type 'int'}}
  36 #pragma acc set device_num(Explicit)
  37
  38   // expected-error@+2{{OpenACC clause 'default_async' requires expression of integer type ('struct NotConvertible' invalid)}}
  39   // expected-error@+1{{OpenACC 'set' construct must have at least one 'default_async', 'device_num', 'device_type' or 'if' clause}}
  40 #pragma acc set default_async(NC)
  41   // expected-error@+4{{multiple conversions from expression type 'struct AmbiguousConvert' to an integral type}}
  42   // expected-note@#AMBIG_INT{{conversion to integral type 'int'}}
  43   // expected-note@#AMBIG_SHORT{{conversion to integral type 'short'}}
  44   // expected-error@+1{{OpenACC 'set' construct must have at least one 'default_async', 'device_num', 'device_type' or 'if' clause}}
  45 #pragma acc set default_async(Ambiguous)
  46   // expected-error@+2{{OpenACC integer expression requires explicit conversion from 'struct ExplicitConvertOnly' to 'int'}}
  47   // expected-note@#EXPL_CONV{{conversion to integral type 'int'}}
  48 #pragma acc set default_async(Explicit)
  49
  50   // expected-error@+1{{OpenACC 'set' construct must have at least one 'default_async', 'device_num', 'device_type' or 'if' clause}}
  51 #pragma acc set
  52
  53 #pragma acc set if (true)
  54
  55   // expected-error@+2{{'default_async' clause cannot appear more than once on a 'set' directive}}
  56   // expected-note@+1{{previous clause is here}}
  57 #pragma acc set default_async(getI()) default_async(getI())
  58
  59   // expected-error@+2{{'device_num' clause cannot appear more than once on a 'set' directive}}
  60   // expected-note@+1{{previous clause is here}}
  61 #pragma acc set device_num(getI()) device_num(getI())
  62
  63   // expected-error@+2{{'device_type' clause cannot appear more than once on a 'set' directive}}
  64   // expected-note@+1{{previous clause is here}}
  65 #pragma acc set device_type(I) device_type(I)
  66   // expected-error@+2{{'if' clause cannot appear more than once on a 'set' directive}}
  67   // expected-note@+1{{previous clause is here}}
  68 #pragma acc set device_type(I) if(true) if (true)
  69 }