diff options
Diffstat (limited to 'test/vivien2.cloog')
| -rw-r--r-- | test/vivien2.cloog | 156 |
1 files changed, 156 insertions, 0 deletions
diff --git a/test/vivien2.cloog b/test/vivien2.cloog new file mode 100644 index 0000000..7fe716e --- /dev/null +++ b/test/vivien2.cloog @@ -0,0 +1,156 @@ +# Context +c # output in language C + +1 # no constraints on parameters +1 3 # 1 line and 3 columns + +# n 1 +1 1 -30 # 0 >= 0 always true + +1 # Setting manually the parameter' sname +n # The name + + + +# -------------------- Statements ------------------ +6 # Number of statements + + +1 # First statement: 1 domain + +# First domain + +2 4 # 2 lines and 4 columns +# i n 1 +1 1 27 -1 # i >= 1 +1 -1 1 28 # n >= i +0 0 0 + +1 # Second statement: 1 domain + +# First domain + +4 5 # 4 lines and 5 columns +# i k n 1 +1 1 29 0 -1 # i >= 1 +1 -1 0 1 0 # n >= i +1 0 1 0 -1 # k >= 1 +1 1 -1 0 -1 # k <= i-1 +0 0 0 + + +1 # Third statement: 1 domain + +# First domain + +2 4 # 2 lines and 4 columns +# i n 1 +1 1 0 -1 # i >= 1 +1 -1 1 0 # n >= i +0 0 0 + + +1 # Fourth statement: 1 domain + +# First domain + +4 5 # 4 lines and 5 columns +# i j n 1 +1 1 0 0 -1 # i >= 1 +1 -1 0 1 0 # n >= i +1 -1 1 0 -1 # j >= i+1 +1 0 -1 1 0 # j <= n +0 0 0 + +1 # Fifth statement: 1 domain + +# First domain + +6 6 # 6 lines and 6 columns +# i j k n 1 +1 1 0 0 0 -1 # i >= 1 +1 -1 0 0 1 0 # n >= i +1 -1 1 0 0 -1 # j >= i+1 +1 0 -1 0 1 0 # j <= n +1 0 0 1 0 -1 # k >= 1 +1 1 0 -1 0 -1 # k <= i-1 +0 0 0 + +1 # Sixth statement: 1 domain + +# First domain + +4 5 # 4 lines and 5 columns +# i j n 1 +1 1 0 0 -1 # i >= 1 +1 -1 0 1 0 # n >= i +1 -1 1 0 -1 # j >= i+1 +1 0 -1 1 0 # j <= n +0 0 0 + + +1 # We manually set the iterator names +i j k + + +# ------------------------ Scattering ------------------- + +6 # Number of scattering functions + + +# First function +3 7 # 3 lines and 7 columns +# p1 p2 p3 i n 1 +0 1 0 0 -2 0 -2 # p1 = 2i+2 +0 0 1 0 0 0 0 # p2 = 0 +0 0 0 1 0 0 0 # p3 = 0 + +# Second function +3 8 # 3 lines and 8 columns +# p1 p2 p3 i j n 1 +0 1 0 0 -2 -2 0 -1 # p1 = 2i+2j+1 +0 0 1 0 0 j 0 0 # p2 = j +0 0 0 1 0 0 0 0 # p3 = 0 + +# Third function +3 7 # 3 lines and 7 columns +# p1 p2 p3 i n 1 +0 1 0 0 -4 0 -1 # p1 = 4i+1 +0 0 1 0 0 0 0 # p2 = 0 +0 0 0 1 0 0 0 # p3 = 0 + +# Fourth function +3 8 # 3 lines and 8 columns +# p1 p2 p3 i j n 1 +0 1 0 0 -2 -2 0 0 # p1 = 2i+2j +0 0 1 0 1 0 0 0 # p2 = -i +0 0 0 1 0 0 0 0 # p3 = 0 + + +# Fifth function +3 9 # 3 lines and 9 columns +# p1 p2 p3 i j k n 1 +0 1 0 0 -2 -2 0 0 0 # p1 = 2i+2j +0 0 1 0 1 0 0 0 -1 # p2 = -i+1 +0 0 0 1 0 0 -1 0 0 # p3 = k + +# Sixth function +3 8 # 3 lines and 8 columns +# p1 p2 p3 i j n 1 +0 1 0 0 -2 -2 0 0 # p1 = 2i+2j +0 0 1 0 1 0 0 -2 # p2 = -i+2 +0 0 0 1 0 0 0 0 # p3 = 0 + +1 # Manually set the scattering dimensions +p1 p2 p3 + + + + + + + + + + + |