summaryrefslogtreecommitdiff
path: root/test/vivien2.cloog
diff options
context:
space:
mode:
authorHyungKyu Song <hk76.song@samsung.com>2013-02-16 00:43:14 +0900
committerHyungKyu Song <hk76.song@samsung.com>2013-02-16 00:43:14 +0900
commit428c6fc77d11887d9ee4b3d637f719cb96b9cfe7 (patch)
tree6ff26e952291853d4481820a510dbf5e8d370cd5 /test/vivien2.cloog
parent29a00e8ce531e1686523d3cd7923d322375ec7e8 (diff)
downloadcloog-tizen_2.0.tar.gz
cloog-tizen_2.0.tar.bz2
cloog-tizen_2.0.zip
Diffstat (limited to 'test/vivien2.cloog')
-rw-r--r--test/vivien2.cloog156
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
+
+
+
+
+
+
+
+
+
+
+