blob: 5f3704658f20ee92dc09d12128bb82158c74a9ad [file] [log] [blame]
# language: C
c
# parameters {n, m | n<=m n>=2 m>=2}
3 4
# m n 1
1 1 -1 0
1 1 0 -2
1 0 1 -2
0
3 # Number of statements
1
# {i | 1<=i<=n}
2 5
# i m n 1
1 1 0 0 -1
1 -1 0 1 0
0 0 0
1
# {i, j | 1<=i<=n 1<=j<=m}
4 6
# i j m n 1
1 1 0 0 0 -1
1 -1 0 0 1 0
1 0 1 0 0 -1
1 0 -1 1 0 0
0 0 0
1
# {i, j | 1<=i<=n 1<=j<=m}
4 6
# i j m n 1
1 1 0 0 0 -1
1 -1 0 0 1 0
1 0 1 0 0 -1
1 0 -1 1 0 0
0 0 0
0
3 # Scattering functions
# Et les instructions de chunking (prog init)...
1 6
# c1 i m n 1
0 1 -1 0 0 0
1 7
# c1 i j m n 1
0 1 0 -1 0 -1 0
1 7
# c1 i j m n 1
0 1 0 -1 0 -2 0
0