← Back to branch summary

~ubuntu-branches/ubuntu/trusty/cloog/trusty

« back to all changes in this revision

Viewing changes to test/manual_scattering.cloog

  • Committer: Package Import Robot
  • Author(s): Matthias Klose
  • Date: 2013-01-13 04:29:53 UTC
  • mfrom: (3.1.3 sid)
  • Revision ID: package-import@ubuntu.com-20130113042953-yffow2nvsub33dcd
New upstream version.

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/manual_scattering.cloog
 
1
# ---------------------- CONTEXT ----------------------
 
2
c # language is C
 
3
 
 
4
# Context (no constraints on two parameters)
 
5
1 4                   # 1 lines and 4 columns
 
6
# eq/in m  n  1
 
7
    1   0  0  0       # 0 >= 0, always true
 
8
 
 
9
1 # We want to set manually the parameter names
 
10
m n                   # parameter names
 
11
 
 
12
# --------------------- STATEMENTS --------------------
 
13
2 # Number of statements
 
14
 
 
15
2 # First statement: two domains
 
16
# First domain
 
17
3 5                   # 3 lines and 5 columns
 
18
# eq/in i  m  n  1
 
19
    1   1  0  0 -1    # i >= 1
 
20
    1  -1  0  1  0    # i <= n
 
21
    1   1 -1  0  0    # i >= m
 
22
# Second domain
 
23
3 5                   # 3 lines and 5 columns
 
24
# eq/in i  m  n  1 
 
25
    1   1  0  0 -1    # i >= 1
 
26
    1  -1  0  1  0    # i <= n
 
27
    1  -1  2  0  0    # i <= 2*m
 
28
0  0  0               # for future options
 
29
 
 
30
1 # Second statement: one domain
 
31
4 6                   # 4 lines and 6 columns
 
32
# eq/in i  j  m  n  1 
 
33
    1   1  0  0  0 -1 # i >= 1
 
34
    1  -1  0  0  1  0 # i <= n
 
35
    1  -1  1  0  0 -1 # j >= i+1
 
36
    1   0 -1  1  0  0 # j <= m
 
37
0  0  0               # for future options
 
38
 
 
39
1 # We want to set manually the iterator names
 
40
i j                   # iterator names
 
41
 
 
42
# --------------------- SCATTERING --------------------
 
43
2 # Scattering functions
 
44
# First function
 
45
2 7                   # 2 lines and 7 columns
 
46
# eq/in p1 p2  i  m  n  1 
 
47
    0    1  0 -1  0  0  0    # p1 = i
 
48
    0    0  1  0  0  0  0    # p2 = 0
 
49
# Second function
 
50
2 8                   # 2 lines and 8 columns
 
51
# eq/in p1 p2  i  j  m  n  1 
 
52
    0    1  0  0  0  0 -1  0 # p1 = n
 
53
    0    0  1 -1 -1  0  0  0 # p2 = i+j
 
54
 
 
55
1 # We want to set manually the scattering dimension names
 
56
p1 p2                 # scattering dimension names