isl backend: ignore equality constraints when looking for lower bounds
[cloog.git] / test / infinite3.cloog
blob9154a0ebbecff8659a33e672bfaa7a5be30f6e69
1 # langage
4 # parametres {M, N | M>=1 N >=1}
5 2 4
6 #  M  N  1
7 1  1  0 -1
8 1  0  1 -1
11 2 # Number of statements
14 # {i | 1<=i<=M}
15 1 5
16 #  i  M  N  1
17 #1  1  0  0 -1
18 1 -1  1  0  0
19 0 0 0
22 # {i, j | 1<=i<=N 1<=j<=M}
23 4 6
24 #  i  j  M  N  1
25 1  1  0  0  0 -1
26 1 -1  0  0  1  0
27 1  0  1  0  0 -1
28 1  0 -1  1  0  0
29 0 0 0
32 0 # Scattering functions