isl backend: ignore equality constraints when looking for lower bounds
[cloog.git] / test / guide.good.c
blob31e03468f04f21507cfe82bb19de9f2ea93eb8f7
1 /* Generated from ../../../git/cloog/test/guide.cloog by CLooG 0.14.0-72-gefe2fc2 gmp bits in 0.01s. */
2 extern void hash(int);
4 /* Useful macros. */
5 #define floord(n,d) (((n)<0) ? -((-(n)+(d)-1)/(d)) : (n)/(d))
6 #define ceild(n,d) (((n)<0) ? -((-(n))/(d)) : ((n)+(d)-1)/(d))
7 #define max(x,y) ((x) > (y) ? (x) : (y))
8 #define min(x,y) ((x) < (y) ? (x) : (y))
10 #define S1(i) { hash(1); hash(i); }
11 #define S2(i) { hash(2); hash(i); }
13 void test(int M, int N)
15 /* Original iterators. */
16 int i;
17 for (i=1;i<=N;i++) {
18 if (i >= M) {
19 S1(i) ;
21 if (i <= min(2*M,M-1)) {
22 S1(i) ;
25 for (i=N+1;i<=2*N;i++) {
26 S2(i) ;