Use simplify_using_context_assign to implement domain_simplify.
[cloog-ppl.git] / test / lineality-2-1-2.c.ppl
blob2e3e1c40506eb0a56b744ac2cc15461ae00abdc8
1 /* Generated from ./lineality-2-1-2.cloog by CLooG 0.15 64 bits in 0.05s. */
2 for (i=1;i<=M-3;i++) {
3   for (j=1;j<=i+1;j++) {
4     S1 ;
5   }
6   j = i+2 ;
7   S1 ;
8   S2 ;
9   for (j=i+3;j<=M;j++) {
10     S1 ;
11   }
13 if (M >= 3) {
14   i = M-2 ;
15   for (j=1;j<=M-1;j++) {
16     S1 ;
17   }
18   S1(j = M) ;
19   S2(j = M) ;
21 for (i=M-1;i<=M;i++) {
22   for (j=1;j<=M;j++) {
23     S1 ;
24   }
25   j = i+2 ;
26   S2 ;