aboutsummaryrefslogtreecommitdiff
path: root/clang/test/SemaOpenACC/combined-construct-self-clause.c
blob: d1c3c9d248bc02e0f1b173cea26a7e4619e3e1e2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
// RUN: %clang_cc1 %s -fopenacc -verify

void BoolExpr(int *I, float *F) {
  typedef struct {} SomeStruct;
  struct C{};
  // expected-error@+1{{expected expression}}
#pragma acc parallel loop self (struct C f())
  for (unsigned i = 0; i < 5; ++i);

  // expected-error@+1{{unexpected type name 'SomeStruct': expected expression}}
#pragma acc serial loop self (SomeStruct)
  for (unsigned i = 0; i < 5; ++i);

  // expected-error@+1{{unexpected type name 'SomeStruct': expected expression}}
#pragma acc kernels loop self (SomeStruct())
  for (unsigned i = 0; i < 5; ++i);

  SomeStruct S;
  // expected-error@+1{{statement requires expression of scalar type ('SomeStruct' invalid)}}
#pragma acc parallel loop self (S)
  for (unsigned i = 0; i < 5; ++i);

#pragma acc parallel loop self (I)
  for (unsigned i = 0; i < 5; ++i);

#pragma acc serial loop self (F)
  for (unsigned i = 0; i < 5; ++i);

#pragma acc kernels loop self (*I < *F)
  for (unsigned i = 0; i < 5; ++i);
}

void WarnMaybeNotUsed(int val1, int val2) {

  // expected-warning@+2{{OpenACC construct 'self' has no effect when an 'if' clause evaluates to true}}
  // expected-note@+1{{previous 'self' clause is here}}
#pragma acc parallel loop self if(val1)
  for (unsigned i = 0; i < 5; ++i);

  // expected-warning@+2{{OpenACC construct 'self' has no effect when an 'if' clause evaluates to true}}
  // expected-note@+1{{previous 'self' clause is here}}
#pragma acc serial loop self(val1) if(val1)
  for (unsigned i = 0; i < 5; ++i);

  // expected-warning@+2{{OpenACC construct 'self' has no effect when an 'if' clause evaluates to true}}
  // expected-note@+1{{previous 'if' clause is here}}
#pragma acc kernels loop if(val1) self
  for (unsigned i = 0; i < 5; ++i);

  // expected-warning@+2{{OpenACC construct 'self' has no effect when an 'if' clause evaluates to true}}
  // expected-note@+1{{previous 'if' clause is here}}
#pragma acc parallel loop if(val1) self(val2)
  for (unsigned i = 0; i < 5; ++i);

  // The below don't warn because one side or the other has an error, thus is
  // not added to the AST.

  // expected-error@+1{{use of undeclared identifier 'invalid'}}
#pragma acc serial loop self if(invalid)
  for (unsigned i = 0; i < 5; ++i);

  // expected-error@+1{{use of undeclared identifier 'invalid'}}
#pragma acc kernels loop self(invalid) if(val1)
  for (unsigned i = 0; i < 5; ++i);

  // expected-error@+2{{expected expression}}
  // expected-error@+1{{use of undeclared identifier 'invalid'}}
#pragma acc parallel loop self() if(invalid)
  for (unsigned i = 0; i < 5; ++i);

  // expected-error@+1{{use of undeclared identifier 'invalid'}}
#pragma acc serial loop if(invalid) self
  for (unsigned i = 0; i < 5; ++i);

  // expected-error@+1{{use of undeclared identifier 'invalid'}}
#pragma acc kernels loop if(val2) self(invalid)
  for (unsigned i = 0; i < 5; ++i);

  // expected-error@+1{{use of undeclared identifier 'invalid'}}
#pragma acc parallel loop if(invalid) self(val1)
  for (unsigned i = 0; i < 5; ++i);

  // expected-error@+1{{OpenACC 'self' clause is not valid on 'loop' directive}}
#pragma acc loop self
  for(int i = 5; i < 10;++i);
}