privately export pet_stmt_is_affine_assume
[pet.git] / tests / quasi_affine.c
blob9a50a7575439e1fca0a94c17fe97be09d0a20bbe
1 int f(int);
2 int g(int);
3 int N;
5 void foo()
7 int i;
8 int in;
9 int A[N + 1];
10 int out;
12 #pragma scop
13 if (N >= 0) {
14 A[0] = in;
15 for (i = 1; i <= N; ++i) {
16 A[i] = f(g(A[i/2]));
18 out = g(A[N]);
20 #pragma endscop