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