← Back to branch summary

~ubuntu-branches/ubuntu/wily/cloog/wily-proposed

« back to all changes in this revision

Viewing changes to test/openscop/union.scop

  • Committer: Package Import Robot
  • Author(s): Matthias Klose
  • Date: 2015-04-24 15:07:57 UTC
  • mfrom: (3.1.9 sid)
  • Revision ID: package-import@ubuntu.com-20150424150757-wumy8mdonvtgf29j
Tags: 0.18.3-1
* New upstream version.
* Update symbols file.

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/openscop/union.scop
 
1
# [File generated by the OpenScop Library 0.8.0]
 
2
 
 
3
<OpenScop>
 
4
 
 
5
# =============================================== Global
 
6
# Language
 
7
C
 
8
 
 
9
# Context
 
10
CONTEXT
 
11
1 3 0 0 0 1
 
12
# e/i|  N |  1  
 
13
   1    1    3    ## N+3 >= 0
 
14
 
 
15
# Parameters are provided
 
16
1
 
17
<strings>
 
18
N
 
19
</strings>
 
20
 
 
21
# Number of statements
 
22
1
 
23
 
 
24
# =============================================== Statement 1
 
25
# Number of relations describing the statement:
 
26
6
 
27
 
 
28
# ----------------------------------------------  1.1 Domain
 
29
DOMAIN
 
30
# Union with 2 parts
 
31
2
 
32
# Union part No.1
 
33
5 5 2 0 0 1
 
34
# e/i|  i    j |  N |  1  
 
35
   1    1    0    0    0    ## i >= 0
 
36
   1   -1    0    1   -1    ## -i+N-1 >= 0
 
37
   1    0    1    0    0    ## j >= 0
 
38
   1    0   -1    1   -1    ## -j+N-1 >= 0
 
39
   1    0    1    0  -20    ## j-20 >= 0
 
40
# Union part No.2
 
41
5 5 2 0 0 1
 
42
# e/i|  i    j |  N |  1  
 
43
   1    1    0    0    0    ## i >= 0
 
44
   1   -1    0    1   -1    ## -i+N-1 >= 0
 
45
   1    0    1    0    0    ## j >= 0
 
46
   1    0   -1    1   -1    ## -j+N-1 >= 0
 
47
   1    0   -1    0   10    ## -j+10 >= 0
 
48
 
 
49
# ----------------------------------------------  1.2 Scattering
 
50
SCATTERING
 
51
5 10 5 2 0 1
 
52
# e/i| c1   c2   c3   c4   c5 |  i    j |  N |  1  
 
53
   0   -1    0    0    0    0    0    0    0    0    ## c1 == 0
 
54
   0    0   -1    0    0    0    1    0    0    0    ## c2 == i
 
55
   0    0    0   -1    0    0    0    0    0    0    ## c3 == 0
 
56
   0    0    0    0   -1    0    0    1    0    0    ## c4 == j
 
57
   0    0    0    0    0   -1    0    0    0    0    ## c5 == 0
 
58
 
 
59
# ----------------------------------------------  1.3 Access
 
60
READ
 
61
2 7 2 2 0 1
 
62
# e/i| A1   [1]|  i    j |  N |  1  
 
63
   0   -1    0    0    0    0    1    ## A1
 
64
   0    0   -1    1    1    0    0    ## [1] == i+j
 
65
 
 
66
READ
 
67
2 7 2 2 0 1
 
68
# e/i| A2   [1]|  i    j |  N |  1  
 
69
   0   -1    0    0    0    0    2    ## A2
 
70
   0    0   -1    1    0    0    0    ## [1] == i
 
71
 
 
72
READ
 
73
2 7 2 2 0 1
 
74
# e/i| A3   [1]|  i    j |  N |  1  
 
75
   0   -1    0    0    0    0    3    ## A3
 
76
   0    0   -1    0    1    0    0    ## [1] == j
 
77
 
 
78
WRITE
 
79
2 7 2 2 0 1
 
80
# e/i| A1   [1]|  i    j |  N |  1  
 
81
   0   -1    0    0    0    0    1    ## A1
 
82
   0    0   -1    1    1    0    0    ## [1] == i+j
 
83
 
 
84
# ----------------------------------------------  1.4 Body
 
85
# Statement body is provided
 
86
1
 
87
<body>
 
88
# Number of original iterators
 
89
2
 
90
# Original iterators
 
91
i j
 
92
# Body expression
 
93
C[i+j]+=A[i]*B[j];
 
94
</body>
 
95
 
 
96
 
 
97
# =============================================== Extensions
 
98
<comment>
 
99
hello, world
 
100
 
 
101
HELLO WORLD I SAID
 
102
</comment>
 
103
 
 
104
</OpenScop>
 
105
 
 
106