diff options
Diffstat (limited to 'test/vivien.cloog')
| -rw-r--r-- | test/vivien.cloog | 156 |
1 files changed, 0 insertions, 156 deletions
diff --git a/test/vivien.cloog b/test/vivien.cloog deleted file mode 100644 index 0692df1..0000000 --- a/test/vivien.cloog +++ /dev/null @@ -1,156 +0,0 @@ -# Context -c # output in language C - -1 # no constraints on parameters -1 3 # 1 line and 3 columns - -# n 1 -1 0 0 # 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 - - - - - - - - - - - |