| # language: C |
| c |
| |
| # One parameter : n |
| 1 3 |
| # n 1 |
| 1 0 1 |
| # We want to set the parameter names... |
| 1 |
| # and 'n' is the name of the unique parameter |
| n |
| |
| 2 # Number of statements: 2. |
| |
| 1 |
| # {i, j | 1<=i<=n-1; i+1<=j<=n} |
| 4 5 |
| # i j n 1 |
| 1 1 0 0 -1 |
| 1 -1 0 1 -1 |
| 1 -1 1 0 -1 |
| 1 0 -1 1 0 |
| 0 0 0 |
| |
| 1 |
| # {i, j, k | 1<=i<=n-1; i+1<=j<=n i+1<=k<=n} |
| 6 6 |
| # i j k n 1 |
| 1 1 0 0 0 -1 |
| 1 -1 0 0 1 -1 |
| 1 -1 1 0 0 -1 |
| 1 0 -1 0 1 0 |
| 1 -1 0 1 0 -1 |
| 1 0 0 -1 1 0 |
| 0 0 0 |
| # We want to let CLooG set the iterator names. |
| 0 |
| |
| 2 |
| # Scattering functions |
| 1 6 |
| # c1 i j n 1 |
| 0 1 -1 0 0 0 |
| |
| 1 7 |
| # c1 i j k n 1 |
| 0 1 0 0 -1 0 0 |
| 1 |
| proc |
| |
| 2 |
| # Scattering functions |
| 3 8 |
| # c1 c2 c3 i j n 1 |
| 0 1 0 0 -1 0 0 0 |
| 0 0 1 0 0 0 0 0 |
| 0 0 0 1 0 0 0 0 |
| |
| 3 9 |
| # c1 c2 c3 i j k n 1 |
| 0 1 0 0 0 0 -1 0 0 |
| 0 0 1 0 0 0 0 0 -1 |
| 0 0 0 1 0 0 -1 0 0 |
| 0 |
| |