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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
/* { dg-do run } */
/* Like imperfect4.c, but bind the iteration variables in the loops. */
static int f1count[3], f2count[3];
static int g1count[3], g2count[3];
#ifndef __cplusplus
extern void abort (void);
#else
extern "C" void abort (void);
#endif
int f1 (int depth, int iter)
{
f1count[depth]++;
return iter;
}
int f2 (int depth, int iter)
{
f2count[depth]++;
return iter;
}
int g1 (int depth, int iter)
{
g1count[depth]++;
return iter;
}
int g2 (int depth, int iter)
{
g2count[depth]++;
return iter;
}
void s1 (int a1, int a2, int a3)
{
#pragma omp for collapse(3)
for (int i = 0; i < a1; i++)
{
{ f1 (0, i); }
{
g1 (0, i);
for (int j = 0; j < a2; j++)
{
{ f1 (1, j); }
{
{ g1 (1, j); }
for (int k = 0; k < a3; k++)
{
f1 (2, k);
{
g1 (2, k);
g2 (2, k);
}
f2 (2, k);
}
{ g2 (1, j); }
}
{ f2 (1, j); }
}
{ g2 (0, i); }
}
{ f2 (0, i); }
}
}
int
main (void)
{
f1count[0] = 0;
f1count[1] = 0;
f1count[2] = 0;
f2count[0] = 0;
f2count[1] = 0;
f2count[2] = 0;
g1count[0] = 0;
g1count[1] = 0;
g1count[2] = 0;
g2count[0] = 0;
g2count[1] = 0;
g2count[2] = 0;
s1 (3, 4, 5);
/* All intervening code at the same depth must be executed the same
number of times. */
if (f1count[0] != f2count[0]) abort ();
if (f1count[1] != f2count[1]) abort ();
if (f1count[2] != f2count[2]) abort ();
if (g1count[0] != f1count[0]) abort ();
if (g2count[0] != f1count[0]) abort ();
if (g1count[1] != f1count[1]) abort ();
if (g2count[1] != f1count[1]) abort ();
if (g1count[2] != f1count[2]) abort ();
if (g2count[2] != f1count[2]) abort ();
/* Intervening code must be executed at least as many times as the loop
that encloses it. */
if (f1count[0] < 3) abort ();
if (f1count[1] < 3 * 4) abort ();
/* Intervening code must not be executed more times than the number
of logical iterations. */
if (f1count[0] > 3 * 4 * 5) abort ();
if (f1count[1] > 3 * 4 * 5) abort ();
/* Check that the innermost loop body is executed exactly the number
of logical iterations expected. */
if (f1count[2] != 3 * 4 * 5) abort ();
}
|
