blob: 1cfc85cdf0d2ef680dffb02a05e1149a748fe025 (
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
|
#include <stdlib.h>
void copy_summary(int b[1000], int a[1000], int pos)
{
b[pos] = 0;
int c = a[pos];
}
#ifdef pencil_access
__attribute__((pencil_access(copy_summary)))
#endif
void copy(int b[1000], int a[1000], int pos);
int main()
{
int a[2][1000];
for (int i = 0; i < 1000; ++i)
a[0][i] = i;
#pragma scop
for (int i = 0; i < 1000; ++i)
copy(a[1], a[0], i);
#pragma endscop
for (int i = 0; i < 1000; ++i)
if (a[1][i] != a[0][i])
return EXIT_FAILURE;
return EXIT_SUCCESS;
}
|
