PetScan::extract_array: drop redundant isl_ctx argument
[pet.git] / tests / summary.c
blobe5e9529890da636be1f223e761150313107130cf
1 int f(int i);
2 int maybe();
4 void set_odd_summary(int n, int A[static n])
6 for (int i = 1; i < n; i += 2)
7 if (maybe())
8 A[i] = 0;
11 __attribute__((pencil_access(set_odd_summary)))
12 void set_odd(int n, int A[static n]);
14 void set_odd(int n, int A[static n])
16 for (int i = 0; i < n; ++i)
17 A[2 * f(i) + 1] = i;
20 void foo(int n, int A[static n][n])
22 #pragma scop
23 for (int i = 0; i < n; ++i)
24 set_odd(n, A[i]);
25 #pragma endscop