update isl for isl_basic_set_drop_constraint
[cloog/bastoul.git] / test / youcefn.cloog
blob3b7c0e15fee96755acb38402b8d27434a0723d5f
1 # Optimal code is in fact :
2
3 # for (i=0;i<=M;i++) {
4 #   S1 ;
5 #   for (j=0;j<=N;j++) {
6 #     S2 ;
7 #   }
8 #   S3 ;
9 # }
11 # language: C
14 # parameters {n, m | n>=2 m>=n}
15 2  4
16 1  1  0 -2
17 1 -1  1  0
19 n m
21 3 # Number of statements
24 # {i | 0<=i<=n i==j}
25 3 6
26 1  1  0  0  0 -1
27 1 -1  0  1  0  0
28 0  1 -1  0  0  0
29 0  0  0
32 # {i | 0<=i<=n i<=j<=n}
33 4 6
34 1  1  0  0  0 -1
35 1 -1  0  1  0  0
36 1 -1  1  0  0  0
37 1  0 -1  1  0  0
38 0  0  0
41 # {i | 0<=i<=m j==n}
42 3 6
43 1  1  0  0  0 -1
44 1 -1  0  0  1  0
45 0  0  1 -1  0  0
46 0  0  0
49 0 # Scattering functions