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
|
int i;
#pragma omp begin assumes no_openmp, absent (target, teams) holds (i < 32U) holds (i < 32U)
void
bar (void)
{
}
#pragma omp end assumes
#pragma omp begin assumes no_openmp_routines, contains (simd)
void
baz (int *a)
{
#pragma omp simd
for (int j = 0; j < i; j++)
a[j] = j;
}
#pragma omp end assumes
#pragma omp begin assumes no_parallelism, contains (error)
void
qux (void)
{
if (i >= 32)
{
#pragma omp error at (execution) message ("Should not happen")
}
}
#pragma omp end assumes
#pragma omp begin assumes absent (for)
void
fred (void)
{
}
#pragma omp end assumes
#pragma omp begin assumes absent (atomic, barrier, cancel, cancellation point) absent (critical, depobj) \
absent (distribute, flush, loop, masked, master, nothing, ordered) \
absent (parallel, scan, scope, section, sections, simd, single, task) \
absent (taskgroup, taskloop, taskwait, taskyield)
void
foo (void)
{
}
#pragma omp end assumes
|
